Michael Herzberg

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 10

Top Topics

Owl Dl Ontology

Static Analysis

Document Object Model

Top Venues

Arch. Formal Proofs

Publications