Software Engineering and Formal Methods - 9783319661964

Software Engineering and Formal Methods: 19th International Conference 2021

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Software Engineering and Formal Methods - by Radu Calinescu [English]

Formal Methods and Software Engineering - 9783030024499

Software Engineering and Formal Methods - 9783642338250

Formal Methods and Software Engineering - 9783030634056

Formal Methods in Software Engineering by Ajit Singh Paperback Book