数学杂志
研究文章

一个新颖的方法来自动化使用事实萃取系统复杂的软件模块化

表17

Junit的正式关系。
正式的关系 Junit 4.8 Junit 4.9 Junit 4.10 Junit 4.11
正式关系类 1568年 1399年 1436年 1441年
正式的接口关系 178年 164年 164年 173年
正式关系枚举 0 9 9 15