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

D. W. R. M. Marsh

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

1997
1 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)

Coauthor Index

1Juan Bicarregui [1]
2D. L. Clutterbuck [1]
3Gavin R. Finnie [1]
4Howard P. Haughton [1]
5Kevin Lano [1]
6H. Lesan [1]
7B. M. Matthews [1]
8Michael R. Moulding [1]
9A. Richard Newton [1]
10Brian Ritchie [1]
11T. G. A. Rushton [1]
12P. N. Scharbach [1]

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