Teaching and learning formal methods
Formal methods are recognized as successful means of assuring the reliability of complex computer systems. This book covers a range of issues relating to the pedagogy of formal methods. It proposes various techniques that help learn formal methods. It is suitable to educators in the fields of computer science, and software engineering.