Software Engineering and Formal Methods - 9783319229683

Kouchnarenko - Formal Aspects of Component Software 13th Internation - X555z

Software Engineering and Formal Methods : 13th International Conference, Sefm...

Davies - Formal Methods Foundations and Applications 13th Brazilian - X555z

Bernardo - Formal Methods for Dynamical Systems 13th International S - X555z

Cofer - Formal Methods for Industrial Critical Systems 13th Internati - X555z

Ait-Ameur - Formal Methods and Software Engineering 21st Internation - X555z