From an ERAE requirements specification to a PLUSS algebraic specification

• Authors:

• A. Mauboussin;H. Perdix;M. Bidoit;M.-C. Gaudel;J. Hagelstein

• Affiliations:

• -;-;-;-;-

• Venue:
• Algebraic methods II
• Year:
• 1991