论文部分内容阅读
论循环不变式及其开发技术
【机 构】
:
江西师范大学
【出 处】
:
第四次全国软件工程会议
【发表日期】
:
1991年期
其他文献