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

Formal Methods for Software Engineering: by Markus Roggenbach PAPERBACK

Formal Methods for Software Engineering - 9783030388027

Software Engineering and Formal Methods - 9783319661964

Formal Methods and Software Engineering: 23rd International Conference on Formal

Formal Methods for Software Engineering - 9783030387990

Software Engineering and Formal Methods : Sefm 2014 Collocated Workshops: Hof...