Publications
154 total
No publications found.
Research Topics
Formal Methods in Verification
Logic, programming, and type systems
Model-Driven Software Engineering Techniques
Software Testing and Debugging Techniques
semigroups and automata theory
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.