Summary Of: Jean-Raymond Abrial

Encyclodia Page On: Jean-Raymond Abrial

These Are Links To Other Documents

| French | Z | B | formal methods | Z notation | formal specification | Programming Research Group | Oxford University Computing Laboratory | B-Method | formal methods | software engineering | ISBN 0-521-49619-5 | Professor | ETH Zurich | Switzerland | DBLP | | computer | France | stub | Categories | European computer specialist stubs | 1938 births | Living people | French computer scientists | Members of Oxford University Computing Laboratory | Formal methods people | Z notation |