TY  - BOOK
AU  - David Pichardie, Mihaela Sighireanu.
TI  - Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings
SN  - 9783030654740
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Computer 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
UR  - https://doi.org/10.1007/978-3-030-65474-0
ER  -