题名：基于断言的程序正确性检测工具

作者：刘杰;余童兰;

来源：

出版机构：同方知网（北京）技术有限公司

出版年:

DOI码：10.19414/j.cnki.1005-1228.2007.05.006

注册时间：2017-09-11 09:22:02

以下是您获得的URL地址： https://link.cnki.net/doi/10.19414/j.cnki.1005-1228.2007.05.006(境内) https://link.oversea.cnki.net/doi/10.19414/j.cnki.1005-1228.2007.05.006(境外)