DMCA

Learning component interfaces with may and must abstractions

Cached

Download Links

by Rishabh Singh , Dimitra Giannakopoulou
Venue:Computer Aided Verification, 22nd International Conference, CAV 2010
Citations:6 - 0 self