Authors | |
Publisher | Springer Nature |
Year | 14/01/2020 |
Version | eBook: Reflowable eTextbook (ePub) |
Language | English |
ISBN | 9783030393229 |
Categories | Computing & information technology, Computer programming / software development, Software Engineering, Computer networking & communications, Artificial intelligence |
Verification, Model Checking, and Abstract Interpretation