Moshe Y. Vardi
0000-0002-0661-5773
Publications
871 total
No publications found.
Research Topics
Formal Methods in Verification
Logic, programming, and type systems
Logic, Reasoning, and Knowledge
Software Testing and Debugging Techniques
Advanced Database Systems and Queries
Affiliations
Rice University
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.