Login / Signup
The Weakest Prespecification.
C. A. R. Hoare
Jifeng He
Published in:
Inf. Process. Lett. (1987)
Keyphrases
</>