Proving Correctness Of Refinement And Implementation (1996)

Cached

Download Links

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