Fabian Büttner, Jordi Cabot. Lightweight String Reasoning for OCL. In Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitrios S. Kolovos, editors, Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Volume 7349 of Lecture Notes in Computer Science, pages 244-258, Springer, 2012. [doi]
Abstract is missing.