shape analysis with SAT Daniel Jackson & Mandana Vaziri Software Design Group, MIT LCS Schloss Ringberg February 21, 2000

Next slide Back to first slide View graphic version