An EVES Data Abstraction Example

• Authors:

• Mark Saaltink;Sentot Kromodimoeljo;Bill Pase;Dan Craigen;Irwin Meisels

• Affiliations:

• -;-;-;-;-

• Venue:
• FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
• Year:
• 1993