Computer Sciences Dept.

Parametric Shape Analysis via 3-Valued Logic

Mooly Sagiv, Thomas Reps, Reinhard Wilhelm
1998

Download this report (PDF)


Return to tech report index

 
Computer Science | UW Home