Publisher
Association for Computing Machinery (ACM)
Subject
Theoretical Computer Science,Software
Reference29 articles.
1. Abrial J-R Schuman SA Meyer B (1980) A specification language. In: On the construction of programs. Cambridge University Press Cambridge pp 343–410
2. Back R-J (1978) On the correctness of refinement steps in program development. PhD thesis. Report A-1978-4 Department of Computer Science University of Helsinki
3. The Algebra of Programming
4. Broy M (ed) (1993) Program design calculi. In: NATO ASI series series F: computer and system sciences vol 118. Springer Berlin
5. Back R-J von Wright J (1998) Refinement calculus: a systematic introduction. In: Graduate texts in computer science. Springer Berlin