TY  - BOOK
AU  - Supratik Chakraborty, Jorge A. Navas.
TI  - Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers
SN  - 9783030416003
PY  - 2020///
CY  - Cham
PB  - Springer
KW  - Software engineering. Computer logic. Programming languages (Electronic computers). Computer system failures. Special purpose computers. Computers. Software Engineering. Logics and Meanings of Programs. Programming Languages, Compilers, Interpreters. System Performance and Evaluation. Special Purpose and Application-Based Systems. The Computing Profession
UR  - https://doi.org/10.1007/978-3-030-41600-3
ER  -