[comp.specification] Is EPROS available?

pyoung@axion.bt.co.uk (Pete Young) (11/19/90)

I would like to know if the EPROS system is available by ftp or
some other means. 

For those who don't know, EPROS is a system for
producing prototypes from a combination of VDM and state transition
diagrams.
It was developed by Darrel Ince and Sharam Hetmakpour.

Can anybody help?


Regards

Pete
  ____________________________________________________________________
  Pete Young         pyoung@axion.bt.co.uk        Phone +44 473 645054
  British Telecom Research Labs,SSTF, Martlesham Heath IPSWICH IP5 7RE