Bruni - Web Services and Formal Methods 5th International Workshop - X555z

Brat - NASA Formal Methods 5th International Symposium NFM 2013 Mo - X555z

de Boer - Formal Methods for Components and Objects 5th Internationa - X555z

Hu - Formal Methods in Computer-Aided Design 5th International Confe - X555z

Katoen - Formal Methods for Real-Time and Probabilistic Systems 5th - X555z

Woodcock - FME '93 Industrial-Strength Formal Methods First Interna - X555z

Bernardo - Formal Methods for Dynamical Systems 13th International S - X555z

Bernardo - Formal Methods for the Quantitative Evaluation of Collectiv - X555z