Publications
143 total
No publications found.
Research Topics
Software Testing and Debugging Techniques
Formal Methods in Verification
Software Reliability and Analysis Research
Advanced Malware Detection Techniques
Logic, programming, and type systems
Affiliations
Microsoft (United States)
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.