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

Cached

Download Links

by Mark Utting
Citations:15 - 1 self