"Who's Who on the Web in Formal Methods"

------- Forwarded Message

From: bowen@comlab.ox.ac.uk (Jonathan Bowen)
Date: Wed, 22 Jun 1994 20:06:44 GMT
Subject: Who's Who on the Web in Formal Methods
Newsgroups: comp.specification
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
following URL:


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
URL: http://www.comlab.ox.ac.uk/oucl/people/jonathan.bowen.html

------- End of Forwarded Message