16th IFM 2020: Lugano, Switzerland

Refine list

showing all ?? records

Integrating Machine Learning and Formal Modelling

Modelling and Verification in B and Event-B

Program Analysis and Testing

Verification of Interactive Behaviour

Formal Verification

Static Analysis

Domain-Specific Approaches

Algebraic Techniques

a service of  Schloss Dagstuhl - Leibniz Center for Informatics