acwf@icdoc.UUCP (Anthony Finkelstein) (08/05/85)
We are interested in evaluating smalltalk as a basis for an environment
to support Formal requirements specification. We would therefore be
grateful for any information regarding implementations on SUN's.
Rumour has it that there is a version available from University of
California. Could someone confirm this (with some details)?
Replies through Mail please. We will post out a summary of replies to the net.
Anthony Finkelstein
Snail: Imperial College Dept. Computing
180 Queens Gate
London,SW7 2BZ
UK
Mail: ...!mcvax!ukc!icdoc!acwf