7. TASE 2013: Birmingham, UK

Invited Talk

Session 1: Model Checking

Session 2: Verification

Session 3: Logic and Semantics

Invited Talk

Session 4: Program Analysis and Testing

Session 5: Modeling and Application

Session 6: Concurrency and Real Time

Invited Talk

Session 7: Modeling and Reasoning

Session 8: Logic and Semantics

maintained by Schloss Dagstuhl LZI at University of Trier