Siraj Ahmed Shaikh - Formal Methods for Software Engineering Languag - X555z

Formal Methods for Software Engineering: by Markus Roggenbach PAPERBACK

Formal Methods in Software Engineering by Ajit Singh Paperback Book

Formal Methods for Software Engineering, Markus Ro

Software Engineering and Formal Methods - 9783319661964

Software Engineering and Formal Methods - 9783030587673

Formal Methods and Software Engineering - 9783642245589

Formal Methods and Software Engineering - 9783030024499