Thomas Haas

TH

Statistics

Publications

1

Citations

11

H-Index

1

Active since

2022

Thomas Haas is an author at Technische Universität Braunschweig specializing in operating systems, verification of concurrent programs, and verification.

Publications per year

2022–2022

1

Publications

1