Proving Reachability Properties by Coinduction (Extended Abstract).

Dorel Lucanu

Browse the full SYNASC paper archive.