Author:
Schmidt Uwe,Hörcher Hans-Martin
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. A.V. Aho, J.E. Hopcraft, and J.D. Ullman. Data Structures and Algorithms. Addison-Wesley, 1983.
2. D. Bjørner and C.B. Jones, editors. Formal Specification and Software Development. Prentice-Hall, 1982.
3. D. Bjørner, C.B. Jones, M. Mac an Airchinnigh, and E.J. Neuhold, editors. VDM'87 VDM — A Formal Method at Work, VDM-Europe Symposium, LNCS 252. Springer, 1987.
4. D. Bjørner. The Vienna Development Method VDM: The Meta Language. LNCS 61. Springer, 1978.
5. R. Bloomfield, L. Marshall, and R. Jones, editors. VDM'88 VDM — The Way Ahead, 2nd VDM-Europe Symposium, LNCS 328. Springer, 1988.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic Detection of Interaction Errors;2022 IEEE/ACIS 20th International Conference on Software Engineering Research, Management and Applications (SERA);2022-05-25
2. Compilation of Z specifications into C for automatic test result evaluation;ZUM '95: The Z Formal Specification Notation;1995
3. Object-oriented formal specification development using VDM;Lecture Notes in Computer Science;1993
4. A buffering system implementation using VDM;Lecture Notes in Computer Science;1990