T.A.: Interface theories for component-based design (0)

by L de Alfaro, Henzinger
Venue:In: EMSOFT