Formal Methods Fun for Everybody by Antonio Cerone, Markus ... - 9783030713737

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

Gibbons - Teaching Formal Methods Second International Conference Tf - X555z

Fages - Formal Methods in Macro-Biology First International Conferen - X555z

Dongol - Formal Methods Teaching Third International Workshop and Tu - X555z

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

Bobaru - NASA Formal Methods Third International Symposium NFM 2011 - X555z

Boer - Formal Methods for Components and Objects First International - X555z