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

maintained by Schloss Dagstuhl LZI at University of Trier