发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Does program verification help?

Does program verification help?

Landwehr, Carl E.

期刊名称ACM SIGSOFT Software Engineering Notes
作者Landwehr, Carl E.
卷第10卷
期第4期
印刷ISSN0163-5948
文件大小122.83KB
发表时间1985-08-01
DOI10.1145/1012497.1012542

← 返回【学霸图书馆】主页