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

Software Engineering and Formal Methods - 9783030587673

Software Engineering and Formal Methods - 9783319661964

Formal Methods and Software Engineering - 9789819606160

Software Engineering and Formal Methods: 19th International Conference 2021

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

Software Engineering and Formal Methods - 9783319747804

Software Engineering and Formal Methods - 9783031471148