How the design of JML accommodates both runtime assertion checking and formal verification
How the design of JML accommodates both runtime assertion checking and formal verification
复制标题
JML 的设计如何适应运行时断言检查和形式验证
DOI：
--
复制
发表时间：
2003
影响因子：
1.3
通讯作者：
D. Cok
中科院分区：
文献类型：
--
作者：
G. Leavens;Yoonsik Cheon;Curtis Clifton;C. Ruby;D. Cok
