![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
International Workshop on Harnessing Theories for Tool Support for Software (TTSS)
6th TTSS 2013: Nanchang, China
- Jinyun Xue, Volker Stolz:
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013. Electronic Notes in Theoretical Computer Science 309, Elsevier 2014 [contents]
4th TTSS 2010: Shanghai, China
- Min Zhang, Volker Stolz:
4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010. Electronic Notes in Theoretical Computer Science 274, Elsevier 2011 [contents]
3rd TTSS 2009: Kuala Lumpur, Malaysia
- Einar Broch Johnsen, Volker Stolz:
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009. Electronic Notes in Theoretical Computer Science 266, Elsevier 2010 [contents]
2nd TTSS 2008: Istanbul, Turkey
- Jianhua Zhao, Volker Stolz:
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008. Electronic Notes in Theoretical Computer Science 243, Elsevier 2009 [contents]
1st TTSS 2007: Macau
- Geguang Pu, Volker Stolz:
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007. Electronic Notes in Theoretical Computer Science 207, Elsevier 2008 [contents]
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.