Sign in
Program Verification by Coinduction.
Brandon M. Moore
Lucas Peña
Grigore Rosu
Published in:
ESOP (2018)
Keyphrases
</>