Newsgroups: comp.lang.ada,comp.lang.lisp,comp.lang.beta
Path: news.daimi.aau.dk!news.uni-c.dk!sunic!sunic.sunet.se!columba.udac.uu.se!news.mdh.se!news.seinf.abb.se!eua.ericsson.se!cnn.exu.ericsson.se!convex!cs.utexas.edu!howland.reston.ans.net!Germany.EU.net!EU.net!uknet!comlab.ox.ac.uk!sable.ox.ac.uk!lady0065
From: lady0065@sable.ox.ac.uk (David Hopwood)
Subject: Re: Mathematical proving !
Message-ID: <1995May23.194728.29421@inca.comlab.ox.ac.uk>
Sender: david.hopwood@lmh.ox.ac.uk
Organization: Oxford University, England
References: <17AFF2431E@bkstud1.uel.ac.uk>
Date: Tue, 23 May 95 19:47:28 BST
Lines: 11
Xref: news.daimi.aau.dk comp.lang.ada:28365 comp.lang.lisp:16349 comp.lang.beta:401

In article <17AFF2431E@bkstud1.uel.ac.uk>,
Alex Benigni <ben5591l@uel.ac.uk> wrote:
>
>Could any1 please tell me where to find help on mathematical proving. 
>I'd like to find info on the net. VDM, Z, anything. 
>Thanks in advance

Try http://www.comlab.ox.ac.uk/archive/formal-methods.html

David Hopwood
david.hopwood@lmh.ox.ac.uk