Verified Software. Theories, Tools, and Experiments  10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers /  [electronic resource] : 
edited by Ruzica Piskac, Philipp Rümmer. 
 - 1st ed. 2018. 
 - XVI, 345 p. 83 illus., 10 illus. in color.  online resource. 
 - Programming and Software Engineering,  11294  2945-9168 ; .
 - Programming and Software Engineering,  11294 .
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783030035921 
<br/><br/><label>Standard No.: </label>10.1007/978-3-030-03592-1  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer science.<br/>Compilers (Computer programs).<br/>Electronic digital computers--Evaluation.<br/>Computers, Special purpose.<br/>Computers.<br/>Professions.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Compilers and Interpreters.<br/>System Performance and Evaluation.<br/>Special Purpose and Application-Based Systems.<br/>The Computing Profession.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1