Search Results for 'coinductive list'

coinductive list published presentations and documents on DocSlides.

Coinduction

by alexa-scheidler

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