Author:
Broy Manfred,Havelund Klaus,Kumar Rahul,Steffen Bernhard
Publisher
Springer International Publishing
Reference66 articles.
1. Documents associated with Object Constraint Language (OCL), Version 2.4. http://www.omg.org/spec/OCL/2.4
2. Abrial, J.R.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)
3. Agda. http://wiki.portal.chalmers.se/agda/pmwiki.php
4. Andersen, L., Chang, S., Felleisen, M.: Super 8 Languages for Making Movies (Functional Pearl). In: Proceedings of the ACM on Programming Languages 1(ICFP) (2017)
5. Barras, B., et al.: The Coq Proof Assistant Reference Manual: Version 6.1 (1997)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献