![](/img/cover-not-exists.png)
Towards an industrial grade IVE for Java and next generation research platform for JML
Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George KarabotsosVolume:
12
Language:
english
Pages:
18
DOI:
10.1007/s10009-010-0164-8
Date:
November, 2010
File:
PDF, 766 KB
english, 2010