An object-oriented formal specification language and support environment

• Authors:

• Nabi Mohammed Paryavi

• Affiliations:

• Kansas State Univ., Manhattan

• Venue:
• An object-oriented formal specification language and support environment
• Year:
• 1993