| 000 | 00818nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 2212144s2020 xx 000 0 und d | ||
| 020 | _a9783030654740 | ||
| 041 | _aeng | ||
| 100 | _aDavid Pichardie, Mihaela Sighireanu. | ||
| 245 | _aStatic Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings | ||
| 260 |
_aCham _bSpringer _c2020 |
||
| 650 | _aComputer logic. Software engineering. Artificial intelligence. Special purpose computers. Computer communication systems. Architecture, Computer. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Artificial Intelligence. Special Purpose and Application-Based Systems. Computer Communication Networks. Computer System Implementation. | ||
| 856 | _uhttps://doi.org/10.1007/978-3-030-65474-0 | ||
| 999 |
_c86532 _d86532 |
||