Reasoning about Feature Models in Higher-Order Logic

Mikolás Janota, Joseph Roland Kiniry

Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review

Original languageEnglish
Publication date2008
Publication statusPublished - 2008
Externally publishedYes
EventInternational Software Product Lines Conference SPLC 2008 - Linmerick, Ireland
Duration: 8 Sep 2008 → 12 Sep 2008
Conference number: 12

Conference

ConferenceInternational Software Product Lines Conference SPLC 2008
Number12
Country/TerritoryIreland
CityLinmerick
Period08/09/2008 → 12/09/2008

Cite this