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

Thread View: comp.specification.z

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by Michel Moreaux Thu, 21 Jan 1993 16:03

#124

Author: 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
------------------------------------------------------------------------------

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

#125

Author: M Zvi Schreiber
Date: Fri, 22 Jan 1993 09:57

11 lines
678 bytes

I don't have an e-mail, but Jean-Raymond Abrial is at:

26 rue de Plentes
Paris 14

Tel +33 1 45 42 83 49

Hope this helps.

Zvi Schreiber
Data Connection Limited

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads