Formal Methods for Industrial Critical Systems 12th International

Stoelinga - Formal Methods for Industrial Critical Systems 17th Inte - X555z

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

Formal Methods for Industrial Critical Systems 12th Internationa

Bernardo - Formal Methods for Model-Driven Engineering 12th Internat - X555z

ter Beek - Critical Systems Formal Methods and Automated Verification - X555z

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

Nez - Formal Methods for Industrial Critical Systems 20th Internat - X555z