Nils Przigoda. SMT-based validation & verification of UML-OCL models. PhD thesis, University of Bremen, Germany, 2017. [doi]
@phdthesis{dnb-19730, title = {SMT-based validation & verification of UML-OCL models}, author = {Nils Przigoda}, year = {2017}, url = {http://d-nb.info/1136395199}, researchr = {https://researchr.org/publication/dnb-19730}, cites = {0}, citedby = {0}, school = {University of Bremen, Germany}, }