Program Analysis via Satisfiability Modulo Path Programs Journal Article uri icon

Overview

publication date

  • January 1, 2010

has restriction

  • green

Date in CU Experts

  • September 6, 2013 12:26 PM

Full Author List

  • Harris WR; Sankaranarayanan S; Ivancic F; Gupta A

author count

  • 4

citation count

  • 17

Other Profiles

Additional Document Info

start page

  • 71

end page

  • 81