B. Dickinson

According to our database, B. Dickinson authored at least 1 paper in 1988.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

1988

Using VDM with Rely and Guarantee-Conditions - Experiences from a Real Project.

Jim Woodcock, B. Dickinson

Proceedings of the VDM '88, 1988