Merkliste 
 1 Ergebnisse 
 
1

Static analysis of component systems using behavior protoco..:

, In: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications,
Adamek, Jiri - p. 116-117 , 2003