DMCA

Symbolic compositional verification by learning assumptions (2005)

by Rajeev Alur , P. Madhusudan , Wonhong Nam
Venue:In CAV
Citations:68 - 7 self