Skip to main content

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