Login / Signup
Program Verification with fewer Tears.
Jacques Loeckx
Published in:
ADT (1983)
Keyphrases
</>
metadata
high level
information technology
image retrieval
software engineering