The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Formal methods for safe and secure computer systems

The work

AuthorsH. Garavel; S. Graf
Editors
Typetechreport
Year2013
Citekeygaravel2013formal

Where it appeared

PublisherBundesamt für Sicherheit in der Informationstechnik
Number in seriesBSI Study 875
SchoolBundesamt für Sicherheit in der Informationstechnik

Access

Landing pagehttps://www.bsi.bund.de/DE/Publikationen/Studien/Formal_Methods_Study_875/study_875.html

How it got here

How it got hereagent via bibtex
Added2026-10-24 18:31 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@techreport{garavel2013formal,
  title        = {Formal methods for safe and secure computer systems},
  author       = {H. Garavel and S. Graf},
  year         = {2013},
  publisher    = {Bundesamt für Sicherheit in der Informationstechnik},
  school       = {Bundesamt für Sicherheit in der Informationstechnik},
}

This record lives at https://refs.drheap.org/garavel2013formal/ and will keep doing so.