34. FORTE 2014: Berlin, Germany

Refine list

showing all ?? records

Specification Languages and Type Systems

Monitoring and Testing

Security Analysis

Bisimulation, Abstraction and Reduction

a service of  Schloss Dagstuhl - Leibniz Center for Informatics