conf.researchr.org / Clay Stevens
![Clay Stevens](https://conf.researchr.org/getProfileImage/claystevens1/8ce31991-8cef-4ee4-bb04-9b06bba690b4/small.jpg?1715187651000)
Registered user since Wed 17 Apr 2024
Name:Clay Stevens
Affiliation:Iowa State University
GitHub: https://github.com/clayness
Research interests:Software engineering, software design, formal methods, model checking
Contributions