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: 23rd International Conference on Formal

Formal Methods and Software Engineering - 9789819606160

Software Engineering and Formal Methods - 9783031471148

Formal Methods and Software Engineering - 9789819975839

Software Engineering and Formal Methods - 9783030575052