Axel Legay, Luca de Alfaro, Marco Faella. An Introduction to the Tool Ticc. In Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper, editors, Workshop Trustworthy Software 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany. Volume 06000 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]
@inproceedings{LegayAF06,
title = {An Introduction to the Tool Ticc},
author = {Axel Legay and Luca de Alfaro and Marco Faella},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/766},
researchr = {https://researchr.org/publication/LegayAF06},
cites = {0},
citedby = {0},
booktitle = {Workshop Trustworthy Software 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany},
editor = {Serge Autexier and Stephan Merz and Leendert W. N. van der Torre and Reinhard Wilhelm and Pierre Wolper},
volume = {06000},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}