Cleophas - Software Engineering and Formal Methods. SEFM 2020 Collocat - X555z

Hierons - Software Engineering and Formal Methods 11th International - X555z

Ait-Ameur - Formal Methods and Software Engineering 21st Internation - X555z

Lin - Formal Methods and Software Engineering 22nd International Con - X555z

Calinescu - Software Engineering and Formal Methods 13th Internation - X555z

Canal - Software Engineering and Formal Methods SEFM 2014 Collocated - X555z

Merz - Formal Methods and Software Engineering 16th International Co - X555z

Ryan - Formal Methods in Systems Engineering - New paperback or softba - X555z