PeopleAssistant ProfessorArea of Expertise: Software Engineering and Formal MethodsContactEmail: cdsteven@iastate.edu Tags: Software Engineeringformal methodsModel Checking and Verification
