Special issue: formal methods for software product line engineering

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Beek, Maurice H. ter (HerausgeberIn), Clarke, Dave (HerausgeberIn), Schaefer, Ina (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam, Boston, London Elsevier 2015
Schriftenreihe:	Journal of logical and algebraic methods in programming volume 85, issue 1, part 2 (January 2016)
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	"This special issue is devoted to the themes of the FMSPL Workshop Series on Formal Methods and Analysis in Software Product Line Engineering (SPLE)" - Vorwort Literaturangaben
Beschreibung:	Seite 121-267 Diagramme