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 Foundations of Quantum Mechanics by
Cover of the book The Vatican Observatory, Castel Gandolfo: 80th Anniversary Celebration by
Cover of the book Thermal Energy Storage Using Phase Change Materials by
Cover of the book Interactive Governance for Small-Scale Fisheries by
Cover of the book Millimeter-Wave Power Amplifiers by
Cover of the book Bacilli and Agrobiotechnology by
Cover of the book Pancreatic Neuroendocrine Neoplasms by
Cover of the book Family Life in Britain, 1650–1910 by
Cover of the book Inflammatory Disorders of the Nervous System by
Cover of the book Laborpraxis Band 1: Einführung, Allgemeine Methoden by
Cover of the book Trapping of Small Organisms Moving Randomly by
Cover of the book Global Perspectives on Family Life Education by
Cover of the book Water Scarcity and Ways to Reduce the Impact by
Cover of the book Architecting User-Centric Privacy-as-a-Set-of-Services by
Cover of the book Developing England’s North 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