Ib Holm Sørensen

Publication Activity (10 Years)

Years Active: 1981-2005
Publications (10 Years): 0

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen
Formality, Evolution, and Model-driven Software Engineering. Electron. Notes Theor. Comput. Sci. 130 (2005)
Ib Holm Sørensen
Using B to Specify, Verify and Design Hardware Circuits. ZUM (1998)
Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen
Applying the B Technologies on CICS. FME (1996)
Matthew K. O. Lee, Ib Holm Sørensen
B-Tool. VDM Europe (1) (1991)
Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Sørensen
The B-Method. VDM Europe (2) (1991)
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) (1987)
Ib Holm Sørensen
A Specification Language. Program Specification (1981)
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)
Leif Sandegaard Nielsen, Ib Holm Sørensen
Communication Network. Program Specification (1981)