TY  - BOOK
AU  - Piskac,Ruzica
AU  - Rümmer,Philipp
ED  - SpringerLink (Online service)
TI  - Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers 
T2  - Programming and Software Engineering
SN  - 9783030035921
AV  - QA76.758 
U1  - 005.1 23
PY  - 2018///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Computer logic
KW  - Programming languages (Electronic computers)
KW  - Computer system failures
KW  - Special purpose computers
KW  - Computers
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - System Performance and Evaluation
KW  - Special Purpose and Application-Based Systems
KW  - The Computing Profession
N1  - Acceso multiusuario
N2  - This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies
UR  - http://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-030-03592-1
ER  -