Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tüzün, Geylani Kardas. Tarski: a platform for automated analysis of dynamically configurable traceability semantics. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 1607-1614, ACM, 2017. [doi]
@inproceedings{ErataCTMTK17,
title = {Tarski: a platform for automated analysis of dynamically configurable traceability semantics},
author = {Ferhat Erata and Moharram Challenger and Bedir Tekinerdogan and Anne Monceaux and Eray Tüzün and Geylani Kardas},
year = {2017},
doi = {10.1145/3019612.3019747},
url = {http://doi.acm.org/10.1145/3019612.3019747},
researchr = {https://researchr.org/publication/ErataCTMTK17},
cites = {0},
citedby = {0},
pages = {1607-1614},
booktitle = {Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017},
editor = {Ahmed Seffah and Birgit Penzenstadler and Carina Alves and Xin Peng},
publisher = {ACM},
isbn = {978-1-4503-4486-9},
}