Security through Analysis and Verification
P. Degano, R. Gorrieri, C. Hankin, F. Nielson, H. Riis Nielson
Type
Misc [Other]
Journal/Book/Conference
Year
2000
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering