Hallé Sylvain, Hughes Graham, Bultan Tevfik et Alkhalaf Muath. (2009). Generating interface grammars from WSDL for automated verification of web services. Lecture Notes in Computer Science, 5900, p. 516-530.
Services de la bibliothèque, UQAC
555, boulevard de l'Université
Chicoutimi (Québec) CANADA G7H 2B1
418 545-5011, poste 5630