Reliability of Usages & the Usage Calculus
new x:[int]/Ic in x?[v].P
Previous slide
Next slide
Back to first slide
View graphic version