Program verifier Tatzelwurm: the correctness an completeness of the generation of the verification conditions
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Käufl, Thomas (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: Karlsruhe Univ., Fak. für Informatik 1989
Schriftenreihe:Interner Bericht / Universität Karlsruhe, Fakultät für Informatik 1989,9
Schlagworte:
Beschreibung:57 Bl.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!