Author:
Aït-Ameur Yamine,Dupont Guillaume,Mendil Ismail,Méry Dominique,Pantel Marc,Rivière Peter,Singh Neeraj K.
Publisher
Springer International Publishing
Reference27 articles.
1. Abrial, J.: The B-book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Abrial, J.R., Butler, M., Hallerstede, S., Leuschel, M., Schmalz, M., Voisin, L.: Proposals for mathematical extensions for Event-B. Technical report (2009). http://deploy-eprints.ecs.soton.ac.uk/216/
4. Lecture Notes in Computer Science;J-R Abrial,2002
5. Barringer, H., Cheng, J.H., Jones, C.B.: A logic covering undefinedness in program proofs. Acta Inform. 21, 251–269 (1984)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献