An Object-Oriented Refinement Calculus with Modular Reasoning (1992)

View PDF

Download Links

by Mark Utting
Citations:15 - 1 self