The UCLID Decision Procedure (2004)

by Shuvendu K. Lahiri , Sanjit A. Seshia
Venue:In CAV’04
Citations:39 - 1 self