The Mechanical Verification of Solid State Interlocking Geographic Data
A. Simpson‚ J. Woodcock and J. Davies
Details
| Book Title |
Proceedings of Formal Methods Pacific |
| Publisher |
Springer |
| Year |
1997 |
Links
Related pages
|
People |