Asspegique+ an integrated specification environment providing inter-operability of tools

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0014340 ◽

1996 ◽

pp. 555-558

Author(s):

Michel Bidoit ◽

Christine Choppy ◽

Frédéric Voisin

Download Full-text