> Details

Degano, Pierpaolo [Author]; Gorrieri, Roberto [Author]; Hankin, Chris [Author]; Nielson, Flemming [Author]; Riis Nielson, Hanne [Author] ; Pierpaolo Degano and Roberto Gorrieri and Chris Hankin and Flemming Nielson and Hanne Riis Nielson [Contributor]

Security through Analysis and Verification (Dagstuhl Seminar 00501)

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Text; Report; E-Article; E-Book
  • Title: Security through Analysis and Verification (Dagstuhl Seminar 00501)
  • Contributor: Degano, Pierpaolo [Author]; Gorrieri, Roberto [Author]; Hankin, Chris [Author]; Nielson, Flemming [Author]; Riis Nielson, Hanne [Author]
  • Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2001
  • Language: English
  • DOI: https://doi.org/10.4230/DagSemRep.294
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Access State: Open Access