南华大学学报（自然科学版）2009，Vol.23Issue(4)：79-83,5.
基于Z语言的互联网登陆系统的形式化规格与验证
Formal Specification and Verification of the Internet Logged System Based on Z Language
闫仕宇1
作者信息
- 1. 南华大学,计算机科学与技术学院,湖南,衡阳,421001
- 折叠
摘要
关键词
登陆系统/Z语言/形式化规格/验证分类
信息技术与安全科学引用本文复制引用
闫仕宇..基于Z语言的互联网登陆系统的形式化规格与验证[J].南华大学学报（自然科学版）,2009,23(4):79-83,5.
