Proof of Correctness of Object Representations

Cached

Download Links

by Grant Malcolm , Joseph A. Goguen
Citations:27 - 14 self