The Mechanical Verification of Solid State Interlocking Geographic Data

A. Simpson, J. Woodcock and J. Davies

book title	Proceedings of Formal Methods Pacific
publisher	Springer
year	1997

people

Jim Davies