Bernardo - Formal Methods for Dynamical Systems 13th International S - X555z

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

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

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

Ryan - Formal Methods in Systems Engineering - New paperback or softba - X555z

Bernardo - Formal Methods for Multicore Programming 15th Internation - X555z

Harrison - Formal Methods in Human-Computer Interaction - New paperbac - X555z

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