On Quantitative Software Verification (2009)

First Author: Kwiatkowska M
Attributed to:  Automated quantitative software verification with PRISM funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: Proc. 16th International SPIN Workshop