Formal Methods for Model-Driven Engineering - 9783642309816

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

Oliveira - Formal Methods Foundations and Applications 12th Brazili - X555z

Rutkowski - Artificial Intelligence and Soft Computing 12th Internat - X555z

Bernardo - Formal Methods for Software Architectures Third Internatio - X555z

Schurr - Model Driven Engineering Languages and Systems 12th Internat - X555z

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