Constraint-Based Software Specifications and Verification Using UML

@article{Fan2006ConstraintBasedSS,
  title={Constraint-Based Software Specifications and Verification Using UML},
  author={Chin-Feng Fan and Chun-Yin Cheng},
  journal={IEICE Transactions},
  year={2006},
  volume={89-D},
  pages={1914-1922}
}