Author:
Abrial Jean-Raymond,Mussat Louis
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. J.R. Abrial. The B-Book:Assigning Programs to Meanings. Cambridge University Press (1996).
2. H. Barringer, J.H. Cheng, C.B. Jones. A Logic Covering Undefinedness in Program Proofs. Acta Informatica 21: 251–269 (1984).
3. Lect Notes Comput Sci;P. Behm,1998
4. L. Burdy Traitement des expressions dépourvues de sens de la théorie des ensembles. Thèse de Doctorat (2000).
5. J.H. Cheng, C.B. Jones On the Usability of Logics which Handle Partial Functions. Proceedings of Third Refinement Workshop. (1990).
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献