Kein Cover

Interactive correctness proofs for software modules using KIV

Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt 1995 Universität Augsburg

Link zu diesem Datensatz
https://d-nb.info/1383093725
Titel
Interactive correctness proofs for software modules using KIV
Art des Inhalts
Monographie
Verfassangaben
Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
Autor(en)
  • Reif, Wolfgang
  • Schellhorn, Gerhard
  • Stenzel, Kurt
Verlag
Augsburg : Universität Augsburg [1995] - Piscataway : IEEE [1995]
Jahr
Erscheinungsdatum: 1995
Umfang/Format
Online-Ressource
DOI
10.1109/cmpass.1995.521894
Online
https://doi.org/10.1109/cmpass.1995.521894
Sprache
eng
Anmerkungen
In: COMPASS '95: proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security, 25-29 June 1995, Gaithersburg, MD, USA, S. 151-162
Stand
09.01.2026 11:26
Im Katalog seit
07.03.2026

Beschreibung vom Verlag

← Zurück zur Startseite