Degano, Pierpaolo ;
Gorrieri, Roberto ;
Hankin, Chris ;
Nielson, Flemming ;
Riis Nielson, Hanne
Weitere Beteiligte (Hrsg. etc.): Pierpaolo Degano and Roberto Gorrieri and Chris Hankin and Flemming Nielson and Hanne Riis Nielson
Security through Analysis and Verification (Dagstuhl Seminar 00501)
BibTeX - Entry
@TechReport{degano_et_al:DagSemRep.294,
author = {Degano, Pierpaolo and Gorrieri, Roberto and Hankin, Chris and Nielson, Flemming and Riis Nielson, Hanne},
title = {{Security through Analysis and Verification (Dagstuhl Seminar 00501)}},
pages = {1--15},
ISSN = {1619-0203},
year = {2001},
type = {Dagstuhl Seminar Report},
number = {294},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/15178},
URN = {urn:nbn:de:0030-drops-151781},
doi = {10.4230/DagSemRep.294},
}
|
Seminar: |
|
Dagstuhl Seminar Reports
|
|
Issue date: |
|
2021 |
|
Date of publication: |
|
07.03.2001 |
07.03.2001
