Thomas A. Henzinger
0000-0002-2985-7724
Publications
727 total
No publications found.
Research Topics
Formal Methods in Verification
Logic, programming, and type systems
Software Testing and Debugging Techniques
Embedded Systems Design Techniques
Real-Time Systems Scheduling
Affiliations
Institute of Science and Technology Austria
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.