Formal Methods and Software Engineering - 9789819975839

Formal Methods and Software Engineering: 24th International Conference on Formal

Formal Methods and Software Engineering 24th International Confer

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

Roggenbach - Formal Methods for Software Engineering Languages Meth - X555z

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

Campos - Formal Methods Foundations and Applications 24th Brazilian - X555z

Neri - Computer and Communication Engineering 2nd International Conf - X555z