Kenneth L. McMillan
0009-0000-9380-1939
Publications
166 total
No publications found.
Research Topics
Formal Methods in Verification
Logic, programming, and type systems
Software Testing and Debugging Techniques
Embedded Systems Design Techniques
Software Reliability and Analysis Research
Affiliations
The University of Texas at Austin
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.