Sergio Giro
|
Sergio Giro
Research Assistant
Wolfson Building, Parks Road, Oxford OX1 3QD |
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | Quantitative Analysis and Verification |
