Sign in

Enforcing Different Contracts in Hierarchical Component-Based Systems.

Philippe ColletAlain OzanneNicolas Rivierre
Published in: SC@ETAPS (2006)
Keyphrases