ESC/Java2 2.0 Beta 5
ESC / Java2 er en utvidet Static Checker for Java. Det automatisk oppdager statisk, og modulært vanlige programmeringsfeil. ESC / JAVA2 grunner om Java-programmer som har (valgfritt) merknader skrevet i JML Hva er nytt i denne utgaven:. Det er...
