MaRDI QIDQ23323swMATHFDO
Official website http://dl.acm.org/citation.cfm?id=1321737
This page was built for software: UMLtoCSP