Formal Methods: Foundations and Applications - 9783642198281

Anjorin - Modelling Foundations and Applications 13th European Confe - X555z

Calinescu - Software Engineering and Formal Methods 13th Internation - X555z

Simao - Formal Methods Foundations and Applications 14th Brazilian - X555z

Iyoda - Formal Methods Foundations and Applications 16th Brazilian - X555z

Braga - Formal Methods Foundations and Applications 17th Brazilian - X555z

Formal Methods: Foundations and Applications - 9783031224751

Margaria - Leveraging Applications of Formal Methods Verification and - X555z