Tevfik Bultan
2 published titles
Web services and formal methods : 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642195884
- Springer
- 2011
- Details
Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642243714
- Springer
- 2011
- Details
