| 2005 |
|---|
| 9 | EE | Jim Davies,
Charles Crichton,
Edward Crichton,
David Neilson,
Ib Holm Sørensen:
Formality, Evolution, and Model-driven Software Engineering.
Electr. Notes Theor. Comput. Sci. 130: 39-55 (2005) |
| 1998 |
|---|
| 8 | | Ib Holm Sørensen:
Using B to Specify, Verify and Design Hardware Circuits.
ZUM 1998: 60-65 |
| 1996 |
|---|
| 7 | | Jonathan Hoare,
Jeremy Dick,
David Neilson,
Ib Holm Sørensen:
Applying the B Technologies on CICS.
FME 1996: 74-84 |
| 1991 |
|---|
| 6 | | Matthew K. O. Lee,
Ib Holm Sørensen:
B-Tool.
VDM Europe (1) 1991: 695-696 |
| 5 | | Jean-Raymond Abrial,
Matthew K. O. Lee,
David Neilson,
P. N. Scharbach,
Ib Holm Sørensen:
The B-Method.
VDM Europe (2) 1991: 398-405 |
| 1987 |
|---|
| 4 | | C. A. R. Hoare,
Ian J. Hayes,
Jifeng He,
Carroll Morgan,
A. W. Roscoe,
Jeff W. Sanders,
Ib Holm Sørensen,
J. Michael Spivey,
Bernard Sufrin:
Laws of Programming.
Commun. ACM 30(8): 672-686 (1987) |
| 1981 |
|---|
| 3 | | Leif Sandegaard Nielsen,
Ib Holm Sørensen:
Communication Network.
Program Specification 1981: 118-136 |
| 2 | | Ib Holm Sørensen:
A Specification Language.
Program Specification 1981: 381-401 |
| 1 | | Jørgen Steensgaard-Madsen,
Jane W. Hughes,
Malcolm S. Powell,
Hartmut Ehrig,
Hans-Jörg Kreowski,
Leif Sandegaard Nielsen,
Jean-Raymond Abrial,
Ib Holm Sørensen,
Robin M. Gallimore,
Derek Coleman,
Joseph A. Goguen:
KWIC-index generation.
Program Specification 1981: 47-117 |
