Applications of Craig interpolants in model checking (2005)

by K. L. Mcmillan
Venue:In TACAS’2005: Tools and Algorithms for the Construction and Analysis of Systems, LNCS 3440
Citations:33 - 0 self