Bultan, Tevfik
VIAF ID: 61362571 ( Personal )
Permalink: http://viaf.org/viaf/61362571
Preferred Forms
-
- 100 1 _ ‡a Bultan, Tevfik
-
- 100 1 _ ‡a Bultan, Tevfik
- 100 1 _ ‡a Bultan, Tevfik
Works
Title | Sources |
---|---|
Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings | |
String Analysis for Software Verification and Security | |
TAV-WEB 2008, c2008: | |
Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers |