GradNova

Program Analysis, Testing and Verification

1 faculty research Program Analysis, Testing and Verification on GradNova.

M

Assistant Professor

David R. Cheriton School of Computer Science

University of Waterloo

Program Analysis, Testing and Verification

System and Software Security

Logic, Programming, and Type Systems

Formal Methods in Verification

+1