Author:
Haugen Øystein,Husa Knut Eilif,Runde Ragnhild Kobro,Stølen Ketil
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference23 articles.
1. Haugen, Ø. and Stølen, K.: STAIRS—Steps to analyze interactions with refinement semantics. In: Sixth International Conference on UML (UML'2003), no. 2863 in Lecture Notes in Computer Science, pp. 388–402. Springer (2003)
2. Hoare, C.A.R.: Proof of correctness of data representations. Acta Informatica 1, 271–282 (1972)
3. Jones, C.B.: Formal development of correct algorithms: An example based on Earley's recogniser. In: ACM Conference on Proving Assertions about Programs, no. 7 in SIGPLAN Notices, pp. 150–169 (1972)
4. Milner, R.: An algebraic definition of simulation between programs. In: International Joint Conference on Artificial Intelligence, pp. 481–489. Kaufmann (1971)
5. de Roever, W.-P.: The quest for compositionality: A survey of assertion-based proof systems for concurrent programs: Part 1. In Formal Models in Programming, pp. 181–205. North-Holland (1985)
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献