Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Spivey, M.: The Z Notation: A Reference Manual. Prentice-Hall International, Englewood Cliffs (1988); 2nd edn. (1992)
2. Woodcock, J., Davies, J.: Using Z: Specification, Refinement and Proof. Prentice-Hall International, Englewood Cliffs (1996)
3. Derrick, J., Boiten, E.: Refinement in Z and Object-Z: Foundations and Advanced Applications. Springer, Heidelberg (2001)
4. Lecture Notes in Computer Science;M.C. Henson,2000
5. Groves, L.: Refinement and the Z schema calculus. In: Woodcock, J., Derrick, J., Boiten, E., von Wright, J. (eds.) Proc. REFINE 2002, Copenhagen, July 20-21, 2002. Electronic Notes in Theoretical Computer Science, vol. 70(3) (2002), http://www.mcs.vuw.ac.nz/~lindsay/Papers
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Refinement in Z;Refinement in Z and Object-Z;2014
2. Further Generalisations;Refinement in Z and Object-Z;2014
3. Model Based Refinement and the Tools of Tomorrow;Lecture Notes in Computer Science