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
A. Simpson‚ J. Woodcock and J. Davies