A logical framework to deal with variability / P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi. - STAMPA. - Lecture Notes in Computer Science 6396:(2010), pp. 43-58. (Intervento presentato al convegno 8th International Conference on Integrated Formal Methods (IFM 2010) tenutosi a Nancy, France nel October 11-14).
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
iFM10.pdf
accesso aperto
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Open Access
Dimensione
362.77 kB
Formato
Adobe PDF
|
362.77 kB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
