Author:
Abrial J. -R.,Lee M. K. O.,Neilson D. S.,Scharbach P. N.,Sørensen I. H.
Reference3 articles.
1. B-Tool User Manual and B-Tool Reference Manual. Edinburgh Portable Compilers Ltd., 1991.
2. Dijkstra, E.W. A Discipline of Programming. Prentice Hall, 1976.
3. Abrial, J.-R. A Formal Approach to Large Software Construction, in Mathematics of Program Construction (ed. J. L. A. van de Snepscheut). Springer Verlag, 1989.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献