Program Analysis via Satisfiability Modulo Path Programs Journal Article uri icon

Overview

publication date

  • January 1, 2010

Full Author List

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

Other Profiles

Additional Document Info

start page

  • 71

end page

  • 81