Author:
Dunne Steve,Conroy Stacey
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Back, R.-J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, New York (1998)
3. Lecture Notes in Computer Science;R. Banach,2005
4. Derrick, J.: A single complete refinement rule for Z. Journal of Logic and Computation 10(5), 663–675 (2000)
5. Electronic Notes in Theoretical Computer Science;J. Derrick,2008