[Prev][Next][Index]
Check out "The World-Wide Web Virtual Library: Formal Methods"
-
To: larch-interest
-
Subject: Check out "The World-Wide Web Virtual Library: Formal Methods"
-
From: horning
-
Date: Thu, 02 Jun 94 10:42:19 -0700
-
Cc: Jonathan.Bowen@comlab.ox.ac.uk, horning
-
Delivery-Date: Thu, 02 Jun 94 10:55:35 -0700
using Mosaic or your favorite WWW browsing tool on the URL
http://www.comlab.ox.ac.uk/archive/formal-methods.html
Jonathan Bowen has done a really nice job. I'm sure that he will be happy
to add any new links you can provide, or replace existing ones with better.
(I'm currently in the process of reorganizing the SRC Larch pages. Stay
tuned.)
Jim H.