Reasoning about Feature Models in Higher Order Logic
You are here
| Title | Reasoning about Feature Models in Higher Order Logic |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Janota M, Kiniry J |
| Conference Name | 11th International Software Product Line Conference (SPLC 2007)11th International Software Product Line Conference (SPLC 2007) |
| Date Published | 2007 |
| Conference Location | Kyoto, Japan |
| URL | https://sharepoint.lero.ie/Publications/2007/Conferences/2007%20-%20Conference%20-%20Janota%20-%20Reasoning%20about%20Feature%20Models%20in%20Higher%20Order%20Logic.pdf |
