Jump to main content

yr 〜
yr

Search results 7

2013 IEEE/ACM 28th international conference on automated software engineering : (ASE 2013) : Palo Alto, California, USA : 11-15 November 2013 : Nov 2013, Palo Alto, CA. CFP13075-ART

2013 IEEE/ACM 28th international conference on automated software engineering : (ASE 2013) : Palo Alto, California, USA : 11-15 November 2013 : Nov 2013, Palo Alto, CA. CFP13075-ART
Paper図書
IEEEc2013.<M17-14-1813>
National Diet Library
  • Author Heading...ller, Andreas. Bultan, Tevfik. Denney, Ewen.

Automated technology for verification and analysis : 9th international symposium, ATVA 2011 : Taipei, Taiwan, October 11-14, 2011 : proceedings : ATVA conferences : Oct 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 6996)

Automated technology for verification and analysis : 9th international symposium, ATVA 2011 : Taipei, Taiwan, October 11-14, 2011 : proceedings : ATVA conferences : Oct 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 6996)
Paper図書
Springerc2011.<M17-12-1330>
National Diet Library
  • Author HeadingATVA 2011 (2011 : Taipei, Taiwan) Bultan, Tevfik. Hsiung, Pao-Ann.

Workshop on testing, analysis, and verification of web services and applications : TAV-WEB 2006 : held at the international symposium on software testing and analysis : July 17, 2006 : Portland, Maine, USA. : Jul 2006, Portland, ME.

Workshop on testing, analysis, and verification of web services and applications : TAV-WEB 2006 : held at the international symposium on software testing and analysis : July 17, 2006 : Portland, Maine, USA. : Jul 2006, Portland, ME.
Paper図書
ACM[c2006]<M17-07-2100>
National Diet Library
  • Author HeadingBultan, Tevfik. Workshop on Testing, Analysi...

String analysis for software verification and security : pbk

String analysis for software verification and security : pbk
Paper図書
Tevfik Bultan ... [et al.]Springer2017
Other Libraries in Japan
  • Author HeadingBultan, Tevfik Yu, Fang Alkhalaf, Muath Aydi...

Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings

Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings
Paper図書
Tevfik Bultan, Pao-Ann Hsiung (eds.)Springerc2011
Other Libraries in Japan
  • Author HeadingATVA Bultan, Tevfik Hsiung, Pao-Ann

Workshop on Testing, Analysis, and Verification of Web Software : TAV-WEB 2008 : at ISSTA 2008, July 21, 2008, Seattle, Washington, USA

Workshop on Testing, Analysis, and Verification of Web Software : TAV-WEB 2008 : at ISSTA 2008, July 21, 2008, Seattle, Washington, USA
Paper図書
edited by Tevfik Bultan, Tao XieAssociation for Computing Machineryc2008
Other Libraries in Japan
  • Author Heading...g and Analysis Bultan, Tevfik Tao, Xie

TAV-WEB 2006 : proceedings of the Workshop on Testing, Analysis and Verification of Web Services and Applications, Portland, Marine, USA, July 17, 2006

TAV-WEB 2006 : proceedings of the Workshop on Testing, Analysis and Verification of Web Services and Applications, Portland, Marine, USA, July 17, 2006
Paper図書
edited by Tevfik BultanAssociation for Computing Machineryc2006
Other Libraries in Japan
  • Author Heading...g and Analysis Bultan, Tevfik

Reached to the end of result.

RSS