Definations AZC
Interface Grammars for Modular Software Verification Tevfik Bultan Department of Computer Science University of California, Santa Barbara.
1 N Degrees of Separation: Multi-Dimensional Separation of Concern (MDSOC) HyperJ: language and concepts of general concern combination.
Patent Pools and Non-Practicing Entities Brian T. Moriarty, Principal July 10, 2012.
Interface Grammars for Modular Software Verification
Client and Server Verification for Web Services Using Interface Grammars
ATLAS software workshop at BNL 23-28 May 2004
ATLAS software workshop at BNL 23-28 May 2004 Summary of notes taken during talks and some slides taken from interesting talks – Ricardo, 29 May 2004.
Platform Independent Frameworks