1997 | ||
---|---|---|
2 | Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach: Formal methods into practice: case studies in the application of the B method. IEE Proceedings - Software 144(2): 119-133 (1997) | |
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 | Juan Bicarregui | [2] |
3 | D. L. Clutterbuck | [2] |
4 | Gavin R. Finnie | [2] |
5 | Howard P. Haughton | [2] |
6 | Kevin Lano | [2] |
7 | Matthew K. O. Lee | [1] |
8 | H. Lesan | [2] |
9 | D. W. R. M. Marsh | [2] |
10 | B. M. Matthews | [2] |
11 | Michael R. Moulding | [2] |
12 | David Neilson | [1] |
13 | A. Richard Newton | [2] |
14 | Brian Ritchie | [2] |
15 | T. G. A. Rushton | [2] |
16 | Ib Holm Sørensen | [1] |