井冈山大学学报（自然科学版）2008，Vol.29Issue(8)：21-23,3.
一种基于B方法和构件技术的形式化开发方法
A formal development method based on B method and component
唐宇1
作者信息
- 1. 泰州师范高等专科学校,江苏,泰州,225300
- 折叠
摘要
关键词
B方法/构件技术/形式化开发方法分类
信息技术与安全科学引用本文复制引用
唐宇..一种基于B方法和构件技术的形式化开发方法[J].井冈山大学学报（自然科学版）,2008,29(8):21-23,3.
