|
Search the dblp DataBase
Graham Hughes:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Graham Hughes, Sreeranga P. Rajan, Tom Sidle, Keith Swenson
Error Detection in Concurrent Java Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:45-58 [Journal]
- Graham Hughes, Tevfik Bultan
Interface grammars for modular software model checking. [Citation Graph (0, 0)][DBLP] ISSTA, 2007, pp:39-49 [Conf]
Generating Interface Grammars from WSDL for Automated Verification of Web Services. [Citation Graph (, )][DBLP]
Client and server verification for web services using interface grammars. [Citation Graph (, )][DBLP]
Runtime Verification of Web Service Interface Contracts. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|