The Mechanical Verification of Solid State Interlocking Geographic Data
A. C. Simpson‚ J. C. P. Woodcock and J. W. Davies
Book Title
Proceedings of Formal Methods Pacific‚ Wellington‚ New Zealand‚ 9–11 July
Editor
Groves‚ L. and Reeves‚ S.
Pages
223–242
Publisher
Springer
Year
1997