Login / Signup

Component composition preserving behavioral contracts based on communication traces.

Arnaud BaillyMireille ClerboutIsabelle Simplot-Ryl
Published in: Theor. Comput. Sci. (2006)
Keyphrases