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 Latent Variable Analysis and Signal Separation by
Cover of the book Fractures in the Elderly by
Cover of the book New Frontiers in Artificial Intelligence by
Cover of the book Energy-Level Control at Hybrid Inorganic/Organic Semiconductor Interfaces by
Cover of the book Identity, Trust, and Reconciliation in East Asia by
Cover of the book Meshfree Methods for Partial Differential Equations VIII by
Cover of the book The Cosmic Zoo by
Cover of the book Industrial Teesside, Lives and Legacies by
Cover of the book 4th International Symposium of Space Optical Instruments and Applications by
Cover of the book Hölderlin’s Dionysiac Poetry by
Cover of the book The Functional Nucleus by
Cover of the book Recent Trends in Fracture and Damage Mechanics by
Cover of the book Advances in Research on Fertilization Management of Vegetable Crops by
Cover of the book Knowledge and Power in the Philosophies of Ḥamīd al-Dīn Kirmānī and Mullā Ṣadrā Shīrāzī by
Cover of the book Interventional Treatment of Wounds 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