Combining Declarative and Procedural Views in the Specification and Analysis of Product Families

Maurice Ter Beek, Alberto Lluch Lafuente, Marinella Petrocchi

Research output: Contribution to conferencePaperResearchpeer-review

Original languageEnglish
Publication date2013
Publication statusPublished - 2013
Externally publishedYes
Event4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering - Tokyo, Japan
Duration: 27 Aug 2013 → …
Conference number: 4

Workshop

Workshop4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering
Number4
CountryJapan
CityTokyo
Period27/08/2013 → …

Cite this