%0 Journal Article %1 journals/jss/CabotCR14 %A Cabot, Jordi %A Clarisó, Robert %A Riera, Daniel %D 2014 %J J. Syst. Softw. %K dblp %P 1-23 %T On the verification of UML/OCL class diagrams using constraint programming. %U http://dblp.uni-trier.de/db/journals/jss/jss93.html#CabotCR14 %V 93

@article{journals/jss/CabotCR14, added-at = {2020-02-24T00:00:00.000+0100}, author = {Cabot, Jordi and Clarisó, Robert and Riera, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/27ced9c46742507c2e1099dcba4e1556d/dblp}, ee = {https://www.wikidata.org/entity/Q57594273}, interhash = {d62aae9f905bf51e01610828c81905c8}, intrahash = {7ced9c46742507c2e1099dcba4e1556d}, journal = {J. Syst. Softw.}, keywords = {dblp}, pages = {1-23}, timestamp = {2020-02-25T13:40:13.000+0100}, title = {On the verification of UML/OCL class diagrams using constraint programming.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss93.html#CabotCR14}, volume = 93, year = 2014 }