Interactive Correctness Proofs for Software Modules Using KIV
Beitrag zu einer Konferenz
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und PsychologieInstitutions
Institut für Programmiermethodik und CompilerbauPublished in
COMPASS'95 - Tenth Annual Conference on Computer Assurance (Gaithersburg, MD, USA). - New York : Institute of Electrical and Electronics Engineers, 1995
Link to publication
https://dx.doi.org/10.1109/CMPASS.1995.521894Conference
COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security', 1995-06-25 - 1995-06-29, Gaithersburg