Karine Even Mendoza — King's College London

If you made any changes in Pure these will be visible here soon.

Research interests (short)

Karine is now a Lecturer in Systems & Programming Languages. Please see her staff profile

Efficient SMT-based verification of software programs
Author: Even Mendoza, K., 1 Jul 2020
Supervisor: Chockler, H. (Supervisor) & Viganò, L. (Supervisor)
Student thesis: Doctoral Thesis › Doctor of Philosophy

File