The EVES System

• Authors:

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

• Affiliations:

• -;-;-;-;-

• Venue:
• Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
• Year:
• 1993