ESC/Java2 2.0 Beta 5

ESC / Java2的是扩展的静态检查为Java。它会自动，静态和模块化检测常见的编程错误。有关已（可选）注释写在JML Java程序ESC / Java2的原因 什么在此版本中是新的： ...