| |
| 2005 | ||
|---|---|---|
| 3 | 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) |
| 1996 | ||
| 2 | Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen: Applying the B Technologies on CICS. FME 1996: 74-84 | |
| 1991 | ||
| 1 | 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 | |
| 1 | Jean-Raymond Abrial | [1] |
| 2 | Charles Crichton | [3] |
| 3 | Edward Crichton | [3] |
| 4 | Jim Davies | [3] |
| 5 | Jeremy Dick | [2] |
| 6 | Jonathan Hoare | [2] |
| 7 | Matthew K. O. Lee | [1] |
| 8 | P. N. Scharbach | [1] |
| 9 | Ib Holm Sørensen | [1] [2] [3] |