Michael Herzberg
ORCIDPublication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 10
Publications (10 Years): 10
Publications
- Achim D. Brucker, Michael Herzberg
- Achim D. Brucker, Michael Herzberg
- Achim D. Brucker, Michael HerzbergThe Safely Composable DOM. Arch. Formal Proofs 2020 (2020)
- Achim D. Brucker, Michael Herzberg
- Achim D. Brucker, Michael Herzberg
- Achim D. Brucker, Michael Herzberg
- Achim D. Brucker, Michael Herzberg
- Achim D. Brucker, Michael Herzberg
- Achim D. Brucker, Michael Herzberg
- Tony Ohmann, Michael Herzberg, Sebastian Fiss, Armand Halbert, Marc Palyart, Ivan Beschastnikh, Yuriy Brun