"Who's Who on the Web in Formal Methods"
Subject: "Who's Who on the Web in Formal Methods"
Date: Wed, 22 Jun 94 18:07:39 -0700
Delivery-Date: Wed, 22 Jun 94 18:14:36 -0700
------- Forwarded Message
From: email@example.com (Jonathan Bowen)
Date: Wed, 22 Jun 1994 20:06:44 GMT
Subject: Who's Who on the Web in Formal Methods
Reply-To: Jonathan.Bowen@comlab.oxford.ac.uk (Jonathan Bowen)
I have created a "Who's Who on the Web in Formal Methods" page as part
of the World Wide Web Virtual Library entry on Formal Methods under the
If anyone would like adding to this list please send me details
including full name and a personal URL. Please also contact me if you
would like your entry changed or deleted.
Jonathan Bowen <Jonathan.Bowen@comlab.ox.ac.uk>
Oxford University Computing Laboratory
------- End of Forwarded Message