Interactive correctness proofs for software modules using KIV

Download full text files

  • 60759.pdfeng
    (1012KB)

    Postprint. © 1995 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Wolfgang ReifORCiDGND, Gerhard SchellhornORCiDGND, Kurt StenzelGND
URN:urn:nbn:de:bvb:384-opus4-607593
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/60759
ISBN:0-7803-2680-2OPAC
Parent Title (English):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
Publisher:IEEE
Place of publication:Piscataway, NJ
Type:Conference Proceeding
Language:English
Year of first Publication:1995
Publishing Institution:Universität Augsburg
Release Date:2019/08/27
First Page:151
Last Page:162
DOI:https://doi.org/10.1109/cmpass.1995.521894
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Lehrstuhl für Softwaretechnik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht