Refinement Calculus: A Systematic Introduction, Graduate texts (0)

by R Back, J von Wright
Venue:in Computer Science