Reasoning about Feature Models in Higher-Order Logic

Mikolás Janota, Joseph Roland Kiniry

Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

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

Konference

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

Citationsformater