Giese - Formal Techniques for Distributed Systems Joint 14th IFIP WG - X555z

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

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

Simao - Formal Methods Foundations and Applications 14th Brazilian - X555z

Howar - Formal Methods for Industrial Critical Systems 23rd Internat - X555z

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

Aoki - Formal Methods and Software Engineering 14th International Co - X555z

Lluch Lafuente - Formal Methods for Industrial Critical Systems 26th - X555z