Software Engineering and Formal Methods - 9783031171079

Abraham - Intelligent Systems Design and Applications 22nd Internati - X555z

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

Ferreira - Software Engineering and Formal Methods 21st Internationa - X555z

Riesco - Formal Methods and Software Engineering 23rd International - X555z

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

Roggenbach - Formal Methods for Software Engineering Languages Meth - X555z

Cerone - Software Engineering and Formal Methods. SEFM 2021 Collocated - X555z