C.S.: Learning assumptions for compositional verification (0)

by J M Cobleigh, D Giannakopoulou, Pasareanu
Venue:In: TACAS