× Semantik und Programmverifikationvon Christoph WaltherProgrammiersprachen: Semantik und Beweistechniken - Aktuelle Forschungsergebnisse