P. N. Scharbach Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1997
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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 © Tue Dec 1 12:01:14 2009 by Michael Ley (ley@uni-trier.de)