Model Checking Recursive Programs with Numeric Data Types

Matthew Hague, Anthony Lin

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

Cite this