Mechanical Proofs about Computer Programs (1984)

Cached

Download Links

by Donald I. Good
Citations:28 - 0 self