List of Tables
List of Tables
Table 1:
Basic SpecL Types
Table 2:
SpecL Notation Summary
Table 3:
Extended forms of universal quantification.
Table 4:
Forms of existential quantification.