1st International Workshop on Harnessing Theories for Tool Support in Software TTSS'07 22-23 September 2007 Macau SAR, China
Satelite event of ICTAC 2007
Call for Papers Program Committees Conference Topics Submission Proceedings
Draft proceedings have been published as Technical Report #385 at UNU-IIST. The final proceedings are in the process of being published as ENTCS.