Login / Signup
Andrés Farías
Publication Activity (10 Years)
Years Active: 2002-2003
Publications (10 Years): 0
</>
Publications
</>
Andrés Farías
,
Yann-Gaël Guéhéneuc
On the coherence of component protocols.
Electron. Notes Theor. Comput. Sci.
82 (5) (2003)
Andrés Farías
,
Mario Südholt
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction.
OTM
(2002)