https://www.mathematik.uni-marburg.de/modulhandbuch/20212/MSc_Mathematics/Minor_subject_Computer_Science/Program_Verification_and_Synthesis.html
Module Programmverifikation und -synthese
Online module guide of the Department of Mathematics and Computer Science
moduleundsynthese