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 201327 Aug 2013
Conference number: 4

Workshop

Workshop4th International Workshop on Formal Methods and Analysis in Software Product Line Engineering
Number4
Country/TerritoryJapan
CityTokyo
Period27/08/201327/08/2013

Cite this