Completion based inductive theorem proving a case study in verifying sorting algorithms

Bibliographische Detailangaben

1. Verfasser:	Gramlich, Bernhard (VerfasserIn)
Format:	UnknownFormat
Sprache:	und
Veröffentlicht:	Kaiserslautern Fachber. Informatik, Univ. Kaiserslautern 1990
Schriftenreihe:	Seki-Report 1990,4
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!