Representing, Verifying and Applying Software Development Steps using the PVS System

• Authors:

• Axel Dold

• Affiliations:

• -

• Venue:
• AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
• Year:
• 1995