Author:
Jacquel Mélanie,Berkani Karim,Delahaye David,Dubois Catherine
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Abrial, J.-R.: The B-Book, Assigning Programs to Meanings. Cambridge University Press, Cambridge, UK (1996) ISBN 0521496195
2. Lecture Notes in Computer Science;J.-R. Abrial,2002
3. Berkani, K., Dubois, C., Faivre, A., Falampin, J.: Validation des règles de base de l’Atelier B. Technique et Science Informatiques (TSI) 23(7), 855–878 (2004)
4. Bodeveix, J.-P., Filali, M., Muñoz, C.: A Formalization of the B-Method in Coq and PVS. B Users Group Meeting, Toulouse, France (September 1999)
5. Lecture Notes in Artificial Intelligence;R. Bonichon,2007
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献