20th ICFEM 2018: Gold Coast, QLD, Australia

Invited Keynote Paper

Formal Models

Verification

Network Systems

Type Theory

Theorem Proving

Logic and Semantics

Refinement and Transition Systems

Emerging Applications of Formal Methods

Doctoral Symposium

a service of Schloss Dagstuhl - Leibniz Center for Informatics