Login / Signup
Assertions.
C. A. R. Hoare
Published in:
IFM (2000)
Keyphrases
</>
knowledge base