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!bcm!cs.utexas.edu!howland.reston.ans.net!news.sprintlink.net!noc.netcom.net!netcom.com!tgm
From: tgm@netcom.com (Thomas G. McWilliams)
Subject: Re: Mathematical proving !
Message-ID: <tgmD93rCF.9K6@netcom.com>
Followup-To: comp.lang.ada,comp.lang.lisp,comp.lang.beta
Organization: Jot-Em Down Store and Library
X-Newsreader: TIN [version 1.2 PL1]
References: <17AFF2431E@bkstud1.uel.ac.uk> <1995May23.194728.29421@inca.comlab.ox.ac.uk>
Date: Wed, 24 May 1995 21:50:38 GMT
Lines: 20
Sender: tgm@netcom3.netcom.com
Xref: news.daimi.aau.dk comp.lang.ada:28434 comp.lang.lisp:16358 comp.lang.beta:402

 >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

One book of interest is:

"Program Verification Using Ada" by A.D. McGettrick, 
published by Cambridge Computer Science Texts.
ISBN 0-521-28531-3 (paper cover)
ISBN 0-521-24215-0 (hard cover)

Be sure to stop by comp.specification.{larch,misc,z} also.

-- 
Thomas 
tgm@netcom.com