Integration of Program Construction and Verification: The PROSPECTRA Methodology

• Authors:

• Bernd Krieg-Brückner

• Affiliations:

• -

• Venue:
• Proceedings of the CRAI Workshop on Software Factories and Ada: Software Development and Ada
• Year:
• 1986