Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers - Paskevich, Andrei; Wies, Thomas; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Keywords: Software engineering; Computers; Programming languages (Electronic computers).; Computer simulation; Artificial intelligence; Software Engineering; Theory of Computation; Programming Languages, Compilers, Interpreters; Simulation and Modeling; Artificial Intelligence; The Computing Profession