Author:
Darvas Ádám,Mehta Farhad,Rudich Arsenii
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. UML 2.0 OCL Specification (May 2006), http://www.omg.org/docs/formal/06-05-01.pdf
2. Abrial, J.-R.: The B Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
3. Lecture Notes in Computer Science;J.-R. Abrial,2002
4. Arthan, R.: Undefinedness in Z: Issues for specification and proof. In: CADE Workshop on Mechanization of Partial Functions (1996)
5. Lecture Notes in Computer Science;M. Barnett,2005
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献