FM 2006: Hamilton, Canada

Refine list

showing all ?? records

Invited Talk

Interactive Verification

Invited Talk

Formal Modelling of Systems

Real Time

Industrial Experience

Specification and Refinement

Programming Languages

Algebra

Education

Formal Modelling of Systems

Formal Aspects of Java

Programming Languages

Model Checking

Industry Day: Abstracts of Invited Talks

a service of  Schloss Dagstuhl - Leibniz Center for Informatics