Formal Methods for Eternal Networked Software Systems: 11th International School

Formal Methods for Industrial Critical Systems - 9783319107011

Integrated Formal Methods - 9783319101804

Leveraging Applications of Formal Methods, Verification, Margaria, Steffen SC

Formal Methods for Industrial Critical Systems - 9783031681493

Formal Methods for an Informal World: Ictac 2021 Summer School, Virtual Event,

Formal Methods and Software Engineering - 9783030024499

Formal Methods for Components and Objects - 9783642358869