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

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

Vasireddy - Formulation and Evaluation of Amlodipine Besylate Tablets - X555z

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

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