Assumption generation for software component verification. (2002)

by D Giannakopoulou, C S Pasareanu, H Barringer
Venue:In 17th ASE,