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]
Abstract is missing.