dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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)

Last update Sat May 25 20:07:38 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page