An interactive program verifier (1973)

Cached

Download Links

by L. Peter Deutsch
Citations:26 - 0 self