Stephen Magill. Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs. PhD thesis, Carnegie Mellon University, USA, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.