Incompleteness of HOARE's calculus over simple datastructures

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Antoniou, Grigoris (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Karlsruhe 1984
Schriftenreihe:	Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 1984,3
Schlagworte:	Hoare-Logik > Vollständigkeit > Algebraische Daten
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	14 Bl.