Author:
Stoddart Bill,Dunne Steve,Mu Chunyan,Zeyda Frank
Reference31 articles.
1. Rodin: an open toolset for modelling and reasoning in event-b;Abrial;Int. J. Softw. Tools Technol. Transf.,2010
2. The B Book;Abrial,1996
3. A logic covering undefinedness in program proofs;Barringer;Acta Inform.,1984
4. Traitement des expressions déporvues de sense de la théorie des ensembles. Application à la méthode B;Burdy,2000
5. Refinement Calculus: a Systematic Introduction;Back,1998
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献