An extended semantic foundation for Object-Z
Publisher
IEEE Comput. Soc. Press
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Recursive Schema Definitions in Object-Z;ZB 2000: Formal Specification and Development in Z and B;2000
2. A theory of structured model-based specifications in Isabelle/HOL;Lecture Notes in Computer Science;1997