The UCLID Decision Procedure (2004)

by S K Lahiri, S A Seshia
Venue:In Proc. CAV’04, volume 3114 of LNCS