Damir Nesic, Mattias Nyberg. Verifying Contract-Based Specifications of Product Lines using Description Logic. In Magdalena Ortiz, Thomas Schneider 0002, editors, Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018. Volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
@inproceedings{NesicN18, title = {Verifying Contract-Based Specifications of Product Lines using Description Logic}, author = {Damir Nesic and Mattias Nyberg}, year = {2018}, url = {http://ceur-ws.org/Vol-2211/paper-26.pdf}, researchr = {https://researchr.org/publication/NesicN18}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018}, editor = {Magdalena Ortiz and Thomas Schneider 0002}, volume = {2211}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }