Z Specifications
Class1
d:P Person
# d <= Max
?Class1
Class1 ? Class1 ’
?Class1
[?Class1 | d’ = d]
InitClass1 [Class1 | d = ?]
Previous slide
Next slide
Back to first slide
View graphic version