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

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

maintained by Schloss Dagstuhl LZI at University of Trier