EPROS(ID:1394/epr001)

A specification/prototyping language. Implemented in Franz Lisp

References:

Hekmatpour, Sharam et al, "Software Prototyping, Formal Methods and VDM", A- W 1988. view details
Resources