Formal Specification and Verification

课程目标

课程内容

重点

目录

1 介绍

2 集合论

3 集合描述

4 模式

5 系统举例