Publications
99 total
No publications found.
Research Topics
Formal Methods in Verification
Software Testing and Debugging Techniques
Logic, programming, and type systems
VLSI and Analog Circuit Testing
Embedded Systems Design Techniques
Affiliations
Carnegie Mellon University
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.