Proving Correctness Of Refinement And Implementation (1996)

Cached

Download Links

by Grant Malcolm , Joseph A. Goguen
Citations:28 - 4 self