文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
J. C. Rault
发表
An approach towards reliable software
J. C. Rault, 1979, ICSE 1979.
Design verification techniques—a review
J. C. Rault, 1975 .