Search Results for 'copredicate'

copredicate published presentations and documents on DocSlides.

Coinduction

by alexa-scheidler

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