Publisher
Springer Berlin Heidelberg
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Operational semantics: Concepts and their expression;Information Processing Letters;2003-10
2. Scientific Decisions which Characterize VDM;FM’99 — Formal Methods;1999
3. VDM: Origins, hopes, and achievements;VDM '87 VDM — A Formal Method at Work;1987
4. Formal description of programming concepts;Mathematical Foundations of Computer Science 1980;1980
5. On a uniform formal description of data structures;Mathematical Studies of Information Processing;1979