TY  - JOUR
A1  - Krieger, Matthias P.
A1  - Knapp, Alexander
T1  - Executing Underspecified OCL Operation Contracts with a SAT Solver
T2  - Electronic Communications of the EASST
Y1  - 2018
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44819
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-448190
SN  - 1863-2122
VL  - 15
PB  - EASST
ER  -