Electronic Notes in Theoretical Computer Science, Volume 207

Volume 207, April 2008

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics