Formal Methods for Industrial Critical Systems - 9783642324680

Formal Methods for Industrial Critical Systems : 17th International Workshop,...

Formal Methods for Industrial Critical Systems, ,

Salan - Formal Methods for Industrial Critical Systems 16th Interna - X555z

Cofer - Formal Methods for Industrial Critical Systems 13th Internati - X555z

Braga - Formal Methods Foundations and Applications 17th Brazilian - X555z

Dierkes - Formal Methods for Industrial Critical Systems 18th Intern - X555z