Hoare-Logik Bezüge im Wissensnetz Als Verwandter Begriff beteiligt (2) GND Axiomatische Semantik Programmverifikation Verwandter Begriff (2) GND Axiomatische Semantik Programmverifikation