J.R. Abrial e-mail address and B references

Article View: comp.specification.z

Article #124

Back to comp.specification.z Previous Next

#124

From: Michel Moreaux
Date: Thu, 21 Jan 1993 16:03

30 lines
2195 bytes

I am currently investigating automatic theorem proving on Z specifications.
I have heard of a langage called B that has been created by J.-R. Abrial.
Could someone send me his e-mail address. I am also interested with references
concerning the B language. For now, I have the two following references:

  Abrial, J.-R., B reference Manual
  BP Research, B User Manual.

Thanks in advance.

------------------------------------------------------------------------------
Michel Moreaux,                           | "Ceux qui ne savent rien en savent
Ecole Polytechnique Federale de Lausanne  |  toujours tout autant que ceux qui
Departement d'Informatique                |  n'en savent pas plus qu'eux"
Laboratoire d'Informatique Technique      |                  P. Dac.
EL-Ecublens                               |___________________________________
CH-1015 Lausanne                           
Phone # : (21) 693-46-72,   e-mail : moreaux@litsun.epfl.ch
------------------------------------------------------------------------------
--
------------------------------------------------------------------------------
Michel Moreaux,                           | "Ceux qui ne savent rien en savent
Ecole Polytechnique Federale de Lausanne  |  toujours tout autant que ceux qui
Departement d'Informatique                |  n'en savent pas plus qu'eux"
Laboratoire d'Informatique Technique      |                  P. Dac.
EL-Ecublens                               |___________________________________
CH-1015 Lausanne                           
Phone # : (21) 693-46-72,   e-mail : moreaux@litsun.epfl.ch
------------------------------------------------------------------------------

Technical Details

Message-ID: <MOREAUX.93Jan21170311@litsun22.epfl.ch>

Path:

arc1-ca.pugleaf.net!sparky!uunet!usc!rpi!ghost.dsi.unimi.it!insa-lyon.fr!univ-lyon1.fr!scsing.switch.ch!sicsun!disuns2!moreaux

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!usc!rpi!ghost.dsi.unimi.it!insa-lyon.fr!univ-lyon1.fr!scsing.switch.ch!sicsun!disuns2!moreaux
From: moreaux@litsun22.epfl.ch (Michel Moreaux)
Newsgroups: comp.specification.z
Subject: J.R. Abrial e-mail address and B references
Message-ID: <MOREAUX.93Jan21170311@litsun22.epfl.ch>
Date: 21 Jan 93 16:03:11 GMT
Sender: news@disuns2.epfl.ch
Distribution: comp
Organization: Laboratoire d'informatique technique
Lines: 30
Nntp-Posting-Host: litsun22.epfl.ch