Author:
Havelund Klaus,Shankar Natarajan
Publisher
Springer Nature Switzerland
Reference38 articles.
1. Abadi, M., Lamport, L.: The existence of refinement mappings. In: Third Annual Symposium on Logic in Computer Science, pp. 165–175. IEEE. Computer Society Press, July 1988
2. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)
3. Back, R.J.R.: On correct refinement of programs. J. Comput. Syst. Sci. 23(1), 49–68 (1987)
4. Back, R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer (1998)
5. Back, R.-J.R., Kurki-Suonio, F.: Distributed cooperation with action systems. ACM Trans. Programm. Lang. Syst. (TOPLAS) 10(4), 513–554 (1988)