Document Preview

Symbolic representations for integer sets in automated verification

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