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]
@inproceedings{Knapman02,
title = {Statistical Constraints and Verification},
author = {John Knapman},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2263/22630172.htm},
tags = {OCL, constraints},
researchr = {https://researchr.org/publication/Knapman02},
cites = {0},
citedby = {0},
pages = {172-188},
booktitle = {Object Modeling with the OCL, The Rationale behind the Object Constraint Language},
editor = {Tony Clark and Jos Warmer},
volume = {2263},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43169-1},
}