Authors | |
Publisher | Springer Nature |
Year | 09/01/2017 |
Version | eBook: Reflowable eTextbook (ePub) |
Language | English |
ISBN | 9783319522340 |
Categories | Mathematical logic, Computing & information technology, Network hardware, Computer programming / software development, Programming & scripting languages: general, Software Engineering |
Verification, Model Checking, and Abstract Interpretation