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

Formal Methods and Software Engineering - 9783031172434

Roggenbach - Formal Methods for Software Engineering Languages Meth - X555z

Jianping Wu - Formal Methods for Protocol Engineering and Distributed - X555z

Li - Formal Methods and Software Engineering 24th International Conf - X555z

Siraj Ahmed Shaikh - Formal Methods for Software Engineering Languag - X555z

Masci - Software Engineering and Formal Methods. SEFM 2022 Collocated - X555z

Schlingloff - Software Engineering and Formal Methods 20th Internati - X555z