FM 2019: Porto, Portugal

Refine list

showing all ?? records

Invited Presentations

Verification

Synthesis Techniques

Concurrency

Model Checking Circus

Model Checking

Analysis Techniques

Specification Languages

Reasoning Techniques

Modelling Languages

Learning-Based Techniques and Applications

Refactoring and Reprogramming

I-Day Presentations