Program Verification by Coinduction.

Brandon M. Moore, Lucas Pea, Grigore Rosu

Browse the full ESOP paper archive.