by Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Reference:
Shape and Content: Incorporating Domain Knowledge into Shape AnalysisDiego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian ZulegerInformal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., pages 124–127, 2014.
Bibtex Entry:
@inproceedings{ws:CKSVZ14,
author = {Diego Calvanese and
Tomer Kotek and
Mantas Simkus and
Helmut Veith and
Florian Zuleger},
title = {Shape and Content: Incorporating Domain Knowledge into Shape Analysis},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014.},
pages = {124--127},
year = {2014},
}