| 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] |