前言
其实直到这个单元结束，对JML的理解也不是很深，对JML最直观的看法就是对着JML规格写代码很舒服，还有JML真的不怎么好写。 其实直到这个单元结束，对JML的理解也不是很深，对JML最直观的看法就是对着JML
阅读背景：
JML规格单元梳理总结
来源：互联网
分享到：
