Supratik Chakraborty, Jorge A. Navas. <br/><br/>
Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030416003 
<br/><br/><label>Subjects--Topical Terms: </label><br/>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.