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