Floyd-Hoare Verifiers 'Considered Harmful' (1978)

Cached

Download Links

by Howard E. Shrobe