1 Treffer für Autor / Beteiligte = "Garavel, Hubert"

zu den Filteroptionen
  •  Das Dokument ist öffentlich zugänglich im Rahmen des deutschen Urheberrechts.

    Formal methods for safe and secure computers systems

    Garavel, Hubert ; Deutschland, Bundesamt für Sicherheit in der Informationstechnik
    Bonn : Federal Office for Information Security, 2013