Patrice Chalin Perry R. James George Karabotsos JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. 70-83 2008 VSTTE http://dx.doi.org/10.1007/978-3-540-87873-5_9 conf/vstte/2008 db/conf/vstte/vstte2008.html#ChalinJK08