A new talk Beyond Hoare Logic Assertions Advanced Specification and Verification with JML and ESCJava, presented at Formal Methods for Components and Object FMCO on November,. ESCJava.a가 출시되었습니다. This is the tenth alpha release of ESCJava.