The EVES System.

Sentot Kromodimoeljo Bill Pase Mark Saaltink Dan Craigen Irwin Meisels

Published in: Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)

Keyphrases