Statistical Constraints and Verification

John Knapman. Statistical Constraints and Verification. In Tony Clark, Jos Warmer, editors, Object Modeling with the OCL, The Rationale behind the Object Constraint Language. Volume 2263 of Lecture Notes in Computer Science, pages 172-188, Springer, 2002. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.