Author:
Knapp Alexander,Merz Stephan,Wirsing Martin,Zappe Júlia
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. The existence of refinement mappings;Abadi;Theoret. Comput. Sci.,1991
2. On TLA as a logic;Abadi,1996
3. The B-Book: Assigning Programs to Meanings;Abrial,1996
4. Refinement Calculus—A Systematic Introduction;Back,1998
5. H. Baumeister, N. Koch, P. Kosiuczenko, P. Stevens, M. Wirsing, UML for global computing, in: C. Priami (Ed.), Global Computing, Lecture Notes in Computer Science, Vol. 2874, Springer, Rovereto, Italy, 2003, pp. 1–24.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献