wit23

摘要： BUAA_OO_UNIT3_BLOG_JML 一、摘要 JML单元相较前两单元显得轻松了一些，从 JML 到 Java 更像是一个翻译的过程。只要按照官方给出了的 JML 撰写代码，正确性似乎难度较小，但是较大的数据量对算法的复杂度发出了 “无声” 的要求（OO 算法课），很多精力都放在 RTLE 阅读全文