Xue, Jinyun (ed.); Stolz, Volker (ed.) Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. (English) Zbl 1310.68021 Electronic Notes in Theoretical Computer Science 309. Amsterdam: Elsevier. 107 p., electronic only (2014). MSC: 68-06 68N30 00B25 PDF BibTeX XML Cite \textit{J. Xue} (ed.) and \textit{V. Stolz} (ed.), Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier (2014; Zbl 1310.68021) Full Text: Link
Pu, Geguang (ed.); Stolz, Volker (ed.) Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. (English) Zbl 1276.68028 Electronic Notes in Theoretical Computer Science 207. Amsterdam: Elsevier. 217 p., electronic only (2008). MSC: 68-06 68N30 00B25 PDF BibTeX XML Cite \textit{G. Pu} (ed.) and \textit{V. Stolz} (ed.), Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22--23, 2007. Amsterdam: Elsevier (2008; Zbl 1276.68028) Full Text: Link