The power of QDDs (1997)

by B Boigelot, P Godefroid, B Willems, P Wolper
Venue:In Proc. of the Fourth International Static Analysis Symposium, LNCS