pdf-format: |
|
@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 |