Skip to main content

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