home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / specific / z / 535 next >
Encoding:
Internet Message Format  |  1993-01-21  |  2.1 KB
  1. Path: sparky!uunet!usc!rpi!ghost.dsi.unimi.it!insa-lyon.fr!univ-lyon1.fr!scsing.switch.ch!sicsun!disuns2!moreaux
  2. From: moreaux@litsun22.epfl.ch (Michel Moreaux)
  3. Newsgroups: comp.specification.z
  4. Subject: J.R. Abrial e-mail address and B references
  5. Message-ID: <MOREAUX.93Jan21170311@litsun22.epfl.ch>
  6. Date: 21 Jan 93 16:03:11 GMT
  7. Sender: news@disuns2.epfl.ch
  8. Distribution: comp
  9. Organization: Laboratoire d'informatique technique
  10. Lines: 30
  11. Nntp-Posting-Host: litsun22.epfl.ch
  12.  
  13.  
  14. I am currently investigating automatic theorem proving on Z specifications.
  15. I have heard of a langage called B that has been created by J.-R. Abrial.
  16. Could someone send me his e-mail address. I am also interested with references
  17. concerning the B language. For now, I have the two following references:
  18.  
  19.   Abrial, J.-R., B reference Manual
  20.   BP Research, B User Manual.
  21.  
  22. Thanks in advance.
  23.  
  24. ------------------------------------------------------------------------------
  25. Michel Moreaux,                           | "Ceux qui ne savent rien en savent
  26. Ecole Polytechnique Federale de Lausanne  |  toujours tout autant que ceux qui
  27. Departement d'Informatique                |  n'en savent pas plus qu'eux"
  28. Laboratoire d'Informatique Technique      |                  P. Dac.
  29. EL-Ecublens                               |___________________________________
  30. CH-1015 Lausanne                           
  31. Phone # : (21) 693-46-72,   e-mail : moreaux@litsun.epfl.ch
  32. ------------------------------------------------------------------------------
  33. --
  34. ------------------------------------------------------------------------------
  35. Michel Moreaux,                           | "Ceux qui ne savent rien en savent
  36. Ecole Polytechnique Federale de Lausanne  |  toujours tout autant que ceux qui
  37. Departement d'Informatique                |  n'en savent pas plus qu'eux"
  38. Laboratoire d'Informatique Technique      |                  P. Dac.
  39. EL-Ecublens                               |___________________________________
  40. CH-1015 Lausanne                           
  41. Phone # : (21) 693-46-72,   e-mail : moreaux@litsun.epfl.ch
  42. ------------------------------------------------------------------------------
  43.