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)
maintained by Schloss Dagstuhl LZI at University of Trier