Quantitative Analysis and Verification
Department of Computer Science, University of Oxford
Research Projects
Lists of ongoing research projects for academic staff can be found here:
Daniel Kroening
Marta Kwiatkowska
Joel Ouaknine
James Worrell
QAV:
>
Home
>
People
>
Projects
>
Publications
