Verification for Decision Model and Notation

Verification for Decision Model and Notation - Master thesis project of Jonas Blatt - Implementation Project - WiSe 19/20 - SoSe20