From: Alex Benigni
Subject: Mathematical proving !
Date: Tue, 23 May 1995 00:00:00 +0000
Message-ID: <17AFF2431E@bkstud1.uel.ac.uk>

comp.lang.prolog

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

Alex

• Re: Mathematical proving ! David Hopwood
  • Re: Mathematical proving ! Thomas G. McWilliams

From: David Hopwood
Subject: Re: Mathematical proving !
Date: Tue, 23 May 1995 00:00:00 +0000
Message-ID: <1995May23.194728.29421@inca.comlab.ox.ac.uk>

In article <··········@bkstud1.uel.ac.uk>,
Alex Benigni <········@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
·············@lmh.ox.ac.uk

From: Thomas G. McWilliams
Subject: Re: Mathematical proving !
Date: Wed, 24 May 1995 00:00:00 +0000
Message-ID: <tgmD93rCF.9K6@netcom.com>

 >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 
···@netcom.com