Newsgroups: comp.lang.ada,comp.lang.lisp,comp.lang.beta
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!fas-news.harvard.edu!newspump.wustl.edu!news.ecn.bgu.edu!vixen.cso.uiuc.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: glinda.oz.cs.cmu.edu comp.lang.ada:30343 comp.lang.lisp:17892 comp.lang.beta:403

 >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
