Results 1-1 of 1 (Search time: 0.003 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework Kim, Se-Won; Rival, Xavier; Ryu, Sukyoung, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.40, no.3, 2018-08 |