David J. Mee

According to our database, David J. Mee authored at least 1 paper in 1995.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1995

A calculus of hazard for railway signalling.

Michael Ingleby, David J. Mee

Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995