2019年5月21日
BUAA-OO-JML
摘要： BUAA OO JML JML 概念与 toolchain JML 是一种为 Java 程序设计的、遵循 design by contract 范式的、基于 Hoare Logic 构建的 behaviour interface specification language。它通过使用 Hoare 阅读全文
posted @ 2019-05-21 21:52 btapple 阅读(186) 评论(0) 推荐(0) 编辑