Newsgroups: comp.lang.ada,comp.lang.lisp,comp.lang.beta
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!gatech!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: glinda.oz.cs.cmu.edu comp.lang.ada:30291 comp.lang.lisp:17882 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
