- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |
| 2 | Perry R. James | [1] [2] |