Program analysis via satisfiability modulo path programs

  • William R. Harris
  • , Sriram Sankaranarayanan
  • , Franjo Ivaňcíc
  • , Aarti Gupta

Research output: Contribution to journal › Article › peer-review

11 Scopus citations

Fingerprint

Dive into the research topics of 'Program analysis via satisfiability modulo path programs'. Together they form a unique fingerprint.

Keyphrases

Computer Science