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