Personal profile
Research interests (short)
Karine is now a Lecturer in Systems & Programming Languages. Please see her staff profile
Thesis
-
Efficient SMT-based verification of software programs
Author: Even Mendoza, K., 1 Jul 2020Supervisor: Chockler, H. (Supervisor) & Viganò, L. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy
File