计算机技术与发展2009，Vol.19Issue(6)：13-16,21,5.
基于时序逻辑的Object-Z类切片的扩展
Extending Slices of Object-Z Classes Based on Temporal Logic
摘要
关键词
程序切片/Kripke结构/Object-Z/时序逻辑/间隔逻辑/通用堆栈分类
信息技术与安全科学引用本文复制引用
佟长英,沈云付..基于时序逻辑的Object-Z类切片的扩展[J].计算机技术与发展,2009,19(6):13-16,21,5.基金项目
国家863项目(2007AA012144) （2007AA012144）
