| 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 |
||