[comp.lang.eiffel] Formal methods for verification of OOPS

rhys@batserver.cs.uq.oz.au (Rhys Weatherley) (05/30/90)

I posted a message requesting information on this subject a little
while ago, and I thank everyone who replied to me.

However, I received one reply from a person called 'Haim' or 'Hiam',
who requested a copy of my project once finished.  If that person
sees this message could they please contact me because I have lost
your mail name!!! Sorry.

Rhys.

+===============================+==============================+
||  Rhys Weatherley             |  University of Queensland,  ||
||  rhys@batserver.cs.uq.oz.au  |  Australia.  G'day!!        ||
+===============================+==============================+