Tools for traceable security verification
Date
2008
Authors
Juerjens, Jan
Yu, Yijun
Bauer, Andreas
Journal Title
Journal ISSN
Volume Title
Publisher
Oxford University Press
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings of The BCS International Academic Visions of Computer Science Conference 2008
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description