Skip to main content

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