De Boer - Formal Methods for Components and Objects 7th International - X555z

Formal Methods for Performance Evaluation: 7th International School on Formal

Bernardo - Formal Methods for Multicore Programming 15th Internation - X555z

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

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

Nutt - Evaluation Concepts Methods Shaping Policy for the Health A - X555z

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

Bernardo - Formal Methods for Software Architectures Third Internatio - X555z