Ib Holm Srensen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
1
Active years
1981–1996
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | FM | Applying the B Technologies on CICS. | Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Srensen |
| 1991 | FM | The B-Method. | Jean-Raymond Abrial, Matthew K. O. Lee, David Neilson, P. N. Scharbach, Ib Holm Srensen |
| 1991 | FM | B-Tool. | Matthew Lee, Ib Holm Srensen |
| 1981 | FM | Communication Network. | Leif Sandegaard Nielsen, Ib Holm Srensen |
| 1981 | FM | A Specification Language. | Ib Holm Srensen |
| 1981 | FM | KWIC-index generation. | Jrgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jrg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Srensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen |