B. Dickinson

List of publications from the DBLP Bibliography Server - FAQ

1988

1 Jim Woodcock, B. Dickinson: Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. VDM Europe 1988: 434-458

1988
1		Jim Woodcock, B. Dickinson: Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project. VDM Europe 1988: 434-458

Coauthor Index

1 Jim Woodcock (J. C. P. Woodcock) [1]