1 Treffer für bib.personalName="Garavel, Hubert" and vl.domain=ulbbnpc sortBy dc.title/asc

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