基于逻辑的程序验证方法在高可信软件开发上的应用

【作者】项森；

【作者基本信息】中国科学技术大学，计算机软件与理论， 2006，博士