Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Abrial, J.-R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)
2. Bjørner, D.: Software Engineering, 3vols. Springer, Heidelberg (2005)
3. Hayes, I.J.: VDM and Z: A comparative case study. Formal Aspects of Computing 4(1), 76–99 (1992)
4. Hayes, I. (ed.): Specification Case Studies, 2nd edn. Prentice Hall International, Englewood Cliffs (1993)
5. Lecture Notes in Computer Science;I. Hayes,2003