Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Keyboard shortcuts
h, / search box
j, ↓ next result
k, ↑ prev result
l, o, Enter go
More...
Ctrl+Enter bg
', v new tab
d domain search
t Top
!, 1 !bang dropdown
esc out of bangs
s Did you mean
r related topics
m main results
More explanation...
Jean-Raymond Abrial
Jean-Raymond Abrial is a French computer scientist and inventor of the Z and B formal methods.
More at Wikipedia
Z notation
Members of Oxford University Computing Laboratory
More related topics
French computer scientists
Software engineering researchers
Computer science writers
ETH Zurich faculty
Software engineers
Formal methods people
This page requires Javascript.Get the non-JS version
here
.