34. FORTE 2014: Berlin, Germany

Specification Languages and Type Systems

Monitoring and Testing

Security Analysis

Bisimulation, Abstraction and Reduction

a service of Schloss Dagstuhl - Leibniz Center for Informatics