The design, specification, and implementation of obj-t: a language for writing and testing abstract algebraic program specifications

• Authors:

• Joseph John Tardo

• Affiliations:

• -

• Venue:
• The design, specification, and implementation of obj-t: a language for writing and testing abstract algebraic program specifications
• Year:
• 1981