Similar Listings
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