Authors | |
Publisher | Springer Nature |
Year | 13/07/2015 |
Version | eBook: Reflowable eTextbook (ePub) |
Language | English |
ISBN | 9783319216683 |
Categories | Mathematical logic, Computer hardware, Computer programming / software development, Software Engineering, Computer networking & communications |
Computer Aided Verification