Remarks on the problem of the existence of effective hoare logics

Bibliographische Detailangaben

1. Verfasser:	Grabowski, Michał (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Kiel 1987
Schriftenreihe:	Institut für Informatik und Praktische Mathematik <Kiel>: Bericht 8706
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!