Safety through Security
A. C. Simpson‚ J. C. P. Woodcock and J. W. Davies
Book Title
Proceedings of the 9th International Workshop on Software Specification and Design
Pages
18–24
Publisher
IEEE Computer Society Press
Year
1998
A. C. Simpson‚ J. C. P. Woodcock and J. W. Davies