Orna Grümberg
0009-0005-9682-3312
Publications
200 total
No publications found.
Research Topics
Formal Methods in Verification
Logic, programming, and type systems
Software Testing and Debugging Techniques
Model-Driven Software Engineering Techniques
Software Reliability and Analysis Research
Affiliations
Technion – Israel Institute of Technology
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.