George Karabotsos

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos
Towards an industrial grade IVE for Java and next generation research platform for JML. Int. J. Softw. Tools Technol. Transf. 12 (6) (2010)
Patrice Chalin, Perry R. James, George Karabotsos
JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. VSTTE (2008)
Patrice Chalin, Perry R. James, George Karabotsos
An integrated verification environment for JML: architecture and early results. SAVCBS (2007)