23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems,
Behavioural Contracts for a Sound Assembly of Components / C. CARREZ; A. FANTECHI; E. NAJM. - STAMPA. - LNCS 2767:(2003), pp. 111-126. (Intervento presentato al convegno FORTE 2003 tenutosi a Berlin nel 29 Sept - 2 Oct. 2003.).
Behavioural Contracts for a Sound Assembly of Components
FANTECHI, ALESSANDRO;
2003
Abstract
23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems,
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
