- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Sylvain Hallé, Graham Hughes, Tevfik Bultan, Muath Alkhalaf: Generating Interface Grammars from WSDL for Automated Verification of Web Services. ICSOC/ServiceWave 2009: 516-530 |
| 2008 | ||
| 1 | | Graham Hughes, Tevfik Bultan, Muath Alkhalaf: Client and server verification for web services using interface grammars. TAV-WEB 2008: 40-46 |
| 1 | Tevfik Bultan | [1] [2] |
| 2 | Sylvain Hallé | [2] |
| 3 | Graham Hughes | [1] [2] |