4 views

1 Answers

J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation.

4 views