Program Analysis via Satisfiability Modulo Path Programs Journal Article

• Best Open Access

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

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

published in

• ACM Sigplan Notices  Journal

Other Profiles

Digital Object Identifier (DOI)

• https://doi.org/10.1145/1706299.1706309

Additional Document Info

start page

• 71

end page

• 81