Tevfik Bultan profile picture

Tevfik Bultan

Is this your author profile? Create an account to customize it!

Stand Alone

Web Services and Formal Methods Lecture Notes in Computer Science Programming and Software
Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings