![](/img/cover-not-exists.png)
Verifying Reliability Properties Using the Hyperball Abstract Domain
Lidman, Jacob, Mckee, Sally A.Volume:
40
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/3156017
Date:
December, 2017
File:
PDF, 1.13 MB
english, 2017