INRIA - Paris
ESA: an approach to Systems Design by Equation Solving / CARCHIOLO V.; DE FRANCESCO N.; A. FANTECHI; MANGIONI G.. - STAMPA. - (2001), pp. 1-13. (Intervento presentato al convegno 6th Int.l Workshop on Formal Methods for Industrial Critical Systems (FMICS'01) tenutosi a Parigi nel Luglio).
ESA: an approach to Systems Design by Equation Solving
FANTECHI, ALESSANDRO;
2001
Abstract
INRIA - Paris
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.
