Path: utzoo!attcan!uunet!munnari.oz.au!bunyip!moondance!batserver.cs.uq.oz.au!rhys
From: rhys@batserver.cs.uq.oz.au (Rhys Weatherley)
Newsgroups: comp.lang.eiffel
Subject: Re: Formal methods for verification of OOPS
Message-ID: <3770@moondance.cs.uq.oz.au>
Date: 30 May 90 07:11:21 GMT
Sender: news@moondance.cs.uq.oz.au
Reply-To: rhys@batserver.cs.uq.oz.au
Distribution: comp
Lines: 14

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!!        ||
+===============================+==============================+