Achim D. Brucker

ORCID iD
orcid.org/0000-0002-6355-1200
  • Keywords
  • Show details Hide details
Formal Methods,

Sources:
Achim D. Brucker (2016-10-14)

Testing,

Sources:
Achim D. Brucker (2016-10-14)

Software Assurance,

Sources:
Achim D. Brucker (2016-10-14)

Security Testing,

Sources:
Achim D. Brucker (2016-10-14)

Software Security,

Sources:
Achim D. Brucker (2016-10-14)

Security Economics,

Sources:
Achim D. Brucker (2016-10-14)

Verification,

Sources:
Achim D. Brucker (2016-10-14)

Validation,

Sources:
Achim D. Brucker (2016-10-14)

Theorem Proving,

Sources:
Achim D. Brucker (2016-10-14)

Static Analysis,

Sources:
Achim D. Brucker (2016-10-14)

Security

Sources:
Achim D. Brucker (2016-10-14)

  • Websites
  • Show details Hide details
www.brucker.ch

Sources:
Achim D. Brucker (2016-03-02)

www.logicalhacking.com/blog

Sources:
Achim D. Brucker (2016-03-02)

Software Assurance & Security Research Team, The University of Sheffield, UK

Sources:
Achim D. Brucker (2016-10-14)

Twitter

Sources:
Achim D. Brucker (2017-01-15)

No publications added yet