Learning assumptions for compositional verification. (2003)

by J M Cobleigh, D Giannakopoulou, C S Pasareanu
Venue:In Proc. of TACAS