Security through Analysis and Verification (Dagstuhl Seminar 00501)

Authors Pierpaolo Degano, Roberto Gorrieri, Chris Hankin, Flemming Nielson, Hanne Riis Nielson



PDF
Thumbnail PDF

File

DagSemRep.294.pdf
  • Filesize: 175 kB
  • 15 pages

Document Identifiers

Author Details

Pierpaolo Degano
Roberto Gorrieri
Chris Hankin
Flemming Nielson
Hanne Riis Nielson

Cite AsGet BibTex

Pierpaolo Degano, Roberto Gorrieri, Chris Hankin, Flemming Nielson, and Hanne Riis Nielson. Security through Analysis and Verification (Dagstuhl Seminar 00501). Dagstuhl Seminar Report 294, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)
https://doi.org/10.4230/DagSemRep.294

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail