Safety through Security
A. Simpson‚ J. Woodcock and J. Davies
Book Title
Proceedings of the Ninth International Workshop on Software Specification and Design
Publisher
IEEE Press
Year
1998
A. Simpson‚ J. Woodcock and J. Davies