Search Results for 'Copredicate'

Copredicate published presentations and documents on DocSlides.

Coinduction

by alexa-scheidler

in a. language and verifier. K. Rustan M. Leino....