Methods, tools, guidelines for making formal specifications

Belsnes, Dag

November 01, 1992

DART

• Conference: SPECS Presentation. Paris
• Title: Methods, tools, guidelines for making formal specifications
• Author(s): Belsnes, Dag
• Published date: November 01, 1992