形式化软件规范技术  

作　　者：刘少英 

出　　处：《计算机科学》1990年第6期21-30,共10页Computer Science

关 键 词：软件开发 软件规范 软件 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]