微机仿真系统中形式化方法的应用

• An Application of Formal Method in Microcomputer Simulative Software