Procedures and Invariants in the Refinement Calculus (1994)

Cached

Download Links

by Trevor Vickers , Carroll Morgan
Venue:Science of Computer Programming
Citations:20 - 1 self