Constraint Modelling and Data Validation Using Formal Specification Languages

David Schneider 0001. Constraint Modelling and Data Validation Using Formal Specification Languages. PhD thesis, University of Düsseldorf, Germany, 2017. [doi]

Abstract

Abstract is missing.