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

Formal Methods for Software Engineering - 9783030387990

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

Lee - Fire and Ice The Meth Bible - New paperback or softback - X555z

Formal Methods for Software Engineering Languages Methods Applica

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

Liu - Formal Engineering for Industrial Software Development Using t - X555z

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