Verifying BDD Algorithms through Monadic Interpretation (2002)

by Sava Krstic, John Matthews
Venue:Verification, Model Checking, and Abstract Interpretation (VMCAI 2002), volume 2294 of LNCS