Publications
282 total
No publications found.
Research Topics
Formal Methods in Verification
Logic, programming, and type systems
Distributed systems and fault tolerance
Parallel Computing and Optimization Techniques
Embedded Systems Design Techniques
Affiliations
Microsoft (United States)
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.