Author:
Bouquet Fabrice,Dadeau Frédéric,Groslambert Julien
Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. ENTCS;L. Burdy,2003
2. Lecture Notes in Computer Science;F. Bouquet,2005
3. Lecture Notes in Computer Science;F. Bouquet,2006
4. Lecture Notes in Computer Science;F. Bouquet,2005
5. Leavens, G.T., Baker, A.L., Ruby, C.: JML: A notation for detailed design. In: Behavioral Specifications of Businesses and Systems, pp. 175–188. Kluwer, Dordrecht (1999)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Code generation for Event-B;International Journal on Software Tools for Technology Transfer;2015-05-06
2. Matelas: A Predicate Calculus Common Formal Definition for Social Networking;Abstract State Machines, Alloy, B and Z;2010
3. Teaching Formal Methods for the Unconquered Territory;Teaching Formal Methods;2009