Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Cover of the book Automated Technology for Verification and Analysis by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783030010904
Publisher: Springer International Publishing Publication: September 29, 2018
Imprint: Springer Language: English
Author:
ISBN: 9783030010904
Publisher: Springer International Publishing
Publication: September 29, 2018
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.

The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.

The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.

The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.

The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field.

More books from Springer International Publishing

Cover of the book Computer Vision - ACCV 2014 Workshops by
Cover of the book Configurable Intelligent Optimization Algorithm by
Cover of the book The Immune System in Space: Are we prepared? by
Cover of the book Convection with Local Thermal Non-Equilibrium and Microfluidic Effects by
Cover of the book Wine Safety, Consumer Preference, and Human Health by
Cover of the book Iatrogenic Effects of Orthodontic Treatment by
Cover of the book Independent Medical Evaluation by
Cover of the book Conversations About Challenges in Computing by
Cover of the book Computational Biomechanics for Medicine by
Cover of the book Proportional Representation by
Cover of the book Chemistry, Biochemistry and Pharmacology of Hydrogen Sulfide by
Cover of the book New Directions in the Philosophy of Science by
Cover of the book Applied Genomics of Foodborne Pathogens by
Cover of the book Geriatric Trauma and Acute Care Surgery by
Cover of the book Computational Diffusion MRI by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy