Reasoning about Feature Models in Higher-Order Logic

Mikolás Janota, Joseph Roland Kiniry

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskriftPaperForskningpeer review

OriginalsprogEngelsk
Publikationsdato2008
StatusUdgivet - 2008
Udgivet eksterntJa
BegivenhedInternational Software Product Lines Conference SPLC 2008 - Linmerick, Irland
Varighed: 8 sep. 200812 sep. 2008
Konferencens nummer: 12

Konference

KonferenceInternational Software Product Lines Conference SPLC 2008
Nummer12
Land/OmrådeIrland
ByLinmerick
Periode08/09/200812/09/2008

Citationsformater