de Boer - Formal Methods for Components and Objects Third Internatio - X555z

Formal Methods for Software Architectures : Third International School on For...

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

Formal Methods for Software Architectures : Third International School on For...

Beckert - Formal Verification of Object-Oriented Software Internatio - X555z

Fred - Pattern Recognition Applications and Methods Third Internatio - X555z

Bernardo - Formal Methods for Mobile Computing 5th International Sch - X555z

Leue - Formal Methods for Industrial Critical Systems 12th Internatio - X555z