000 00504nmm a2200157Ia 4500
008 260609s9999||||xx |||||||||||||||||und||
020 _a9781680833867
020 _a9781680833874
100 _aMiné
_983496
245 0 _aTutorial on Static Inference of Numeric Invariants by Abstract Interpretation
260 _bNow Foundations and Trends
260 _c2018-02-15
650 _aComputing and Processing
_983497
856 _uhttps://ieeexplore.ieee.org/servlet/opac?bknumber=8277236
942 _cEB
999 _c200688
_d200688