Interface Grammars for Modular Software Verification
Client and Server Verification for Web Services Using Interface Grammars