dblp.uni-trier.dewww.uni-trier.de

P. N. Scharbach

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Jean-Raymond Abrial [1]
2Juan Bicarregui [2]
3D. L. Clutterbuck [2]
4Gavin R. Finnie [2]
5Howard P. Haughton [2]
6Kevin Lano [2]
7Matthew K. O. Lee [1]
8H. Lesan [2]
9D. W. R. M. Marsh [2]
10B. M. Matthews [2]
11Michael R. Moulding [2]
12David Neilson [1]
13A. Richard Newton [2]
14Brian Ritchie [2]
15T. G. A. Rushton [2]
16Ib Holm Sørensen [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)