33. FORTE / 15. FMOODS 2013: Florence, Italy

Listing of the DBLP Bibliography Server - FAQ
Other views: modern
Other mirrors: Trier II - Dagstuhl


back to FORTE | back to FMOODS

Invited Talk

Session 1: Verification

Session 2: Types

Session 3: Testing

Session 4: DisCoTec Joint Session

Session 5: Model Checking

Session 6: Automata

Session 7: Distribution and Concurrency

Session 8: Security

Last update 2017-05-21 22:47 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page