Lecture Notes in Computer Science Ser.: Formal Methods Teaching : 6th Formal...

Software Prototyping, Formal Methods, and VDM (International Computer Science)

Relational Methods in Computer Science (Advances in ...

Problem Solving Methods in Artificial Intelligence Nilsson 1971 Computer Science

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD...

Guide to Teaching Computer Science an Activity-Based Approach by Tami Lapidot

Mathematical and Engineering Methods in Computer Science : 8th International ...