Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. D.J. Andrews, H. Bruun, F. Damm, J. Dawes, B.S. Hansen, C.B. Jones, G. Parkin, N. Plat, and H. Toetenel. Information Technology Programming Languages — VDM-SL. Technical Report First Committee Draft Standard: CD 13817-1 Document ISO/IEC JTC1/SC22/WG19 N-20, ISO, November 1993.
2. J.R. Abrial. The B Tool (Abstract). In R. Bloomfield, L. Marshall, and R. Jones, editors, VDM '88 — The Way Ahead, volume 328 of Lecture Notes in Computer Science. Springer-Verlag, 1988.
3. J.R. Abrial. A formal approach to large software construction. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, volume 375 of Lecture Notes in Computer Science. Springer-Verlag, 1989.
4. J. C. Bicarregui, J. S. Fitzgerald, P. A. Lindsay, R. Moore, and B. Ritchie. Proof in VDM: A Practitioner's Guide. FACIT. Springer-Verlag, 1994. ISBN 3-540-19813-X.
5. J. Bowen and V. Stavridou. Safety-critical systems, formal methods and standards. Technical Report PRG-TR-5-92, Oxford University Computing Laboratory, 1992.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Combining VDM-SL specifications with C++ code;FME'96: Industrial Benefit and Advances in Formal Methods;1996