Marta Kwiatkowska

Marta Kwiatkowska

Professor of Computing Systems, University of Oxford
Dirección de correo verificada de comlab.ox.ac.uk
Citado por 28227
Computer Science Automated Verification Probabilistic/Quantitative Model Checking