Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. D. Bjørner, C. B. Jones, M. Mac an Airchinnigh, E. J. Neuhold (eds.), VDM '87: VDM — a formal method at work, Springer Verlag, LNCS 252, Berlin/Heidelberg/New York/Tokyo, 1987.
2. D. Bjørner, The VDM principles of software specification and program design, in: J. Diaz, I. Ramos (eds.), “Formalization of programming concepts”, Springer Verlag, LNCS 107, Berlin/Heidelberg/New York, 1981.
3. D. Bjørner, C. B. Jones (eds.), The Vienna development method: the meta-language, Springer Verlag, LNCS 61, Berlin/Heidelberg/New York, 1978.
4. D. Bjørner, C. B. Jones (eds.), Formal specification and software development, Prentice-Hall International, Englewood Cliffs, NJ., 1982.
5. P. P. S. Chen, The entity-relationship model: toward a unified view of data, ACM Trans. on Database Systems 1 (1976, 1), pp. 9–36.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献