Lightweight String Reasoning for OCL

Modelling Foundations and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31491-9_19 ◽

2012 ◽

pp. 244-258 ◽

Author(s):

Fabian Büttner ◽

Jordi Cabot

Download Full-text