Model Checking Recursive Programs with Numeric Data Types

Matthew Hague, Anthony Lin

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 2011 → 20 Jul 2011

Conference

ConferenceCAV: Computer Aided Verification
Country/TerritoryUnited States
CitySalt-Lake City
Period14/07/11 → 20/07/11

Cite this