Interactive correctness proofs for software modules using KIV.

Authors :: Reif, W.
Schellhorn, G.
Stenzel, K.
Source :: COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety & Process Security'; 1995, p151-162, 12p
Publication Year :: 1995

Language :: English
ISBNs :: 9780780326804
Database :: Complementary Index
Journal :: COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety & Process Security'
Publication Type :: Conference
Accession number :: 92160135
Full Text :: https://doi.org/10.1109/CMPASS.1995.521894