Integration of program construction and verification: the PROSPECTRA methodology

Authors:
Bernd Krieg-Brückner
Affiliations:
Univ. Bremen, Bremen, W. Germany
Venue:
Proc. of the CRAI Workshop on Software Factories and Ada on System development and Ada
Year:
1987

Citing 0
Cited 2

Penelope, an Ada verification system

TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
System support for modular order-sorted horn clause specifications

ICSE '90 Proceedings of the 12th international conference on Software engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract