形式方法

分类包含 15 篇文章

子分类： 形式方法人物 |  抽象数据类型 |  程序分析

断言 (程序)

抽象释义

集合论

软件验证及确认

通用唯一识别码