From Software Engineering to Formal Methods and Tools, and Back - 9783030309848

ter Beek - From Software Engineering to Formal Methods and Tools and - X555z

Formal Methods and Software Engineering: 23rd by Adrian Riesco PAPERBACK

Formal Methods and Software Engineering 20th International Confer

Formal Methods in Databases and Software Engineering Proceedings

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

Software Engineering and Formal Methods. SEFM 2022 Collocated Wor

Developer's Field Guide to Modern Software Engineering : Methods, Tools and B...