Articles in journal, book chapters
- Fabian BŁttner and Jordi Cabot. Lightweight string reasoning in model finding. Software & Systems Modeling, 14(1):413-427, 2015. ISSN: 1619-1374. [WWW] [doi:10.1007/s10270-013-0332-x]
- Fabian Buettner and Jordi Cabot. Lightweight String Reasoning for OCL. In 8th European Conference on Modelling Foundations and Applications (ECMFA), 2012.
BACK TO INDEX