| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 3 |      | Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos: Towards an industrial grade IVE for Java and next generation research platform for JML. STTT 12(6): 429-446 (2010) |
| 2008 | ||
| 2 | | Patrice Chalin, Perry R. James, George Karabotsos: JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. VSTTE 2008: 70-83 |
| 2007 | ||
| 1 | | Patrice Chalin, Perry R. James, George Karabotsos: An integrated verification environment for JML: architecture and early results. SAVCBS 2007: 47-53 |
| 1 | Patrice Chalin | [1] [2] [3] |
| 2 | Perry R. James | [1] [2] [3] |
| 3 | Jooyong Lee | [3] |
| 4 | Robby | [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page