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)