Programmkorrektheitsbeweis: Inhaltsangabe

	Allgemein
	Operationaler Ansatz
	Vorzüge der symbolischen Darstellung
	Ein konkretes Beispiel
	Axiomatische Methode nach Hoare