Document Preview

Symbolic representations for integer sets in automated verification

Bartzis, Constantinos.   University of California, Santa Barbara ProQuest Dissertations & Theses,  2004. 3143788.