Login / Signup

Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier.

K. Rustan M. LeinoMichal Moskal
Published in: FM (2014)
Keyphrases