Formal Reasoning on Infinite Data Values: An Ongoing Quest
Attributed to:
Perturbation Analysis for Probabilistic Verification
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-56841-6_6
Publication URI: http://dx.doi.org/10.1007/978-3-319-56841-6_6
Type: Book Chapter
Book Title: Engineering Trustworthy Software Systems (2017)
Page Reference: 195-257