Learning component interfaces with may and must abstractions

by Rishabh Singh, Dimitra Giannakopoulou
Venue:Computer Aided Verification, 22nd International Conference, CAV 2010