Interface Theories for Component-based Design (2001)

by Luca De Alfaro , Thomas A. Henzinger
Citations:108 - 17 self