Jeannette M. Wing;Jim Woodcock;Jim Davies
-;-;-
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Support for teaching formal methods
ACM SIGCSE Bulletin