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

Published
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

Conference

ConferenceCAV: Computer Aided Verification
CountryUnited States
CitySalt-Lake City
Period14/07/1120/07/11

ID: 25573092