Investigating Preconditions
These two formulae represent the precondition to Enter1
PreEnter1
d: P Person
p?: Person
#d < Max ?
p?? d
Previous slide
Next slide
Back to first slide
View graphic version