Jump to Content

Static Analysis in Disjunctive Numerical Domains

Sriram Sankaranarayanan
Ilya Shlyakhter
Aarti Gupta
SAS (2006), pp. 3-17

Abstract

Research Areas