John Hatcliff

John Hatcliff

University Distinguished Professor, Department of Computing and Information Sciences …
Verified email at ksu.edu
Cited by 7773
Safety-critical systems software engineering tools for software verification integrated medical