Avatar of Achim D. Brucker

Achim D. Brucker

Users / Achim D. Brucker

Tags

  1. DAST
  2. Formal Methods
  3. Isabelle/HOL. AppSec
  4. research
  5. SAST
  6. SML
  7. verification

Followers

No Followers yet!

Recommended