Matthias Hetzenberger
Projektass.(FWF) Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Publications
-
Constraint superposition for higher-order logic
/
Hetzenberger, M. (2023). Constraint superposition for higher-order logic [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.108280
Download: PDF (1.3 MB)