Login / Signup
in Coq.
Jaime Gaspar
Published in:
CICM Workshops (2014)
Keyphrases
</>
formal methods
theorem prover