On Quantitative Software Verification (2009)

by Marta Z Kwiatkowska
Venue:In SPIN