The top documents tagged [suitable bounds small]

On the verification of UML/OCL class diagrams using constraint programming
Software On the verification of UML/OCL class diagrams using constraint programming

120 views