Model Checking Recursive Programs with Numeric Data Types. / Hague, Matthew; Lin, Anthony.

CAV: Computer Aided Verification. 2011.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationCAV: Computer Aided Verification
Publication statusPublished - 2011
EventCAV: Computer Aided Verification - Salt-Lake City, United States
Duration: 14 Jul 201120 Jul 2011


ConferenceCAV: Computer Aided Verification
Country/TerritoryUnited States
CitySalt-Lake City

ID: 25573092