352-846-0202
tuba@ece.ufl.edu
Specification and automated verification of concurrent software systems, model checking, static analysis, software engineering.
No Photo Available
Specification and automated verification of concurrent software systems, model checking, static analysis, software engineering.