Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. B. K. Aichernig and P. G. Larsen. A Proof Obligation Generator for VDM-SL. Submitted to FME '97, 1997.
2. V.S. Alagar, D. Muthiayen, and R. Achuthan. Animating Real-Time Reactive Systems. In A. Stoyenko, editor, ICECCS '96. IEEE Computer Society, 1995.
3. J.C. Bicarregui, J.S. Fitzgerald, P.A. Lindsay, R. Moore, and B. Ritchie. Proof in VDM: A Practitioner's Guide. Springer-Verlag, 1994.
4. H. Boehm and R. Cartwright. Exact Real Arithmetic. In D. Turner, editor, Research Topics in Functional Programming. Addison-Wesley, 1990.
5. P. Borba and S. Meira. From VDM Specifications to Functional Prototypes. Journal of Systems and Software, 21:267–278, 1993.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献