Search the dblp DataBase

Publications of Author

1. Marie-Claude Gaudel, Perry R. James
   Testing Algebraic Data Types and Processes: A Unifying Theory. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1998, v:10, n:5-6, pp:436-451 [Journal]
   
2. Perry R. James, Markus Endler, Marie-Claude Gaudel
   Development of an Atomic-Broadcast Protocol Using LOTOS. [Citation Graph (0, 0)][DBLP]
   Softw., Pract. Exper., 1999, v:29, n:8, pp:699-719 [Journal]
   
3. Patrice Chalin, Perry R. James
   Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2007, pp:227-247 [Conf]
   
4. 
   Extended static checking in JML4: benefits of multiple-prover support. [Citation Graph (, )][DBLP]
   
   
5. 
   An integrated verification environment for JML: architecture and early results. [Citation Graph (, )][DBLP]
   
   
6. 
   JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. [Citation Graph (, )][DBLP]