34. FORTE 2014: Berlin, Germany

Specification Languages and Type Systems

Monitoring and Testing

Security Analysis

Bisimulation, Abstraction and Reduction

maintained by Schloss Dagstuhl LZI, founded at University of Trier