2008 | ||
---|---|---|
2 | EE | 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 | EE | 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] |