CRIS: The Power of Imagination in Specification and Verification (Invited Talk).

Chung-Kil Hur

Browse the full CPP paper archive.