ETAPS에서 계약에 의한 설계 및 자동 검증을 위한 JML 및 ESCJava를 사용한 Java 튜토리얼을 제공했습니다. ESCJava.a가 출시되었습니다. ESCJava의 아홉 번째 알파 릴리스입니다.

We gave a tutorial Design by Contract and Automatic Verification for Java with JML and ESCJava at ETAPS. ESCJava.a released. This is the ninth alpha release of ESCJava.