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).

A logical framework to deal with variability

GNESI, STEFANIA;FANTECHI, ALESSANDRO
2010

2010
8th International Conference on Integrated Formal Methods (IFM 2010)
Nancy, France
October 11-14
P. Asirelli; M. H. ter Beek; S. Gnesi; A. Fantechi
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/395968
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 48
  • ???jsp.display-item.citation.isi??? 24
social impact