Reasoning about Feature Models in Higher-Order Logic
- Mikolás Janota,
- Joseph Roland Kiniry
- University College Dublin
Research Output:
Contribution to conference - NOT published in proceeding or journal
Paper
Peer-reviewPublication Information
Output type
Research Output:
Contribution to conference - NOT published in proceeding or journal
Paper
Peer-reviewOriginal language
EnglishPublication milestones
- Published - 2008
Publication status
Published - 2008
Related Event
Title
International Software Product Lines Conference SPLC 2008
Event type
ConferenceDate
08/09/2008 - 12/09/2008Location
LinmerickIreland