10th IFM 2013: Turku, Finland

Refine list

showing all ?? records

Invited Paper 1

Refinement, Integration, Translation

Invited Paper 2

Verification

Invited Paper 3

Reachability and Model Checking

Usability and Testing

Distributed Systems

Invited Paper 4

Semantics

System-Level Analysis