Oxford logo

Project Publications

Automated quantitative software verification with PRISM

30 publications:

QAV:

Home

People

Projects

Publications