Opening book details…
Can I read Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science (11138)) on EtoBox?
Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science (11138)) by Shuvendu K. Lahiri, Chao Wang is a computer science book available to read on EtoBox.
What is Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science (11138)) about?
<p>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.</p><p>The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions. </p><p> </p><p>The symposium is dedicated to the promotion of research on theoretical and practical aspects of automated analysis, verification and synthesis by
Who reads Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science (11138))?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Shuvendu K. Lahiri, Chao Wang
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2018
- Language
- EN
- ISBN
- 9783030010904
- Category
- computer science
- Subjects
- Engineering, Mathematics, Technology
- Updated
- 2026-03-25
More by Shuvendu K. Lahiri, Chao Wang
Browse all works by Shuvendu K. Lahiri, Chao Wang
Similar books
- Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings (Lecture Notes in Computer Science (10482)) — Deepak D'Souza; K Narayan Kumar; International Symposium on Automated Technology for Verification and Analysis (2017)
- Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science, 5311) — Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (2008)
- Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Lecture Notes in Computer Science, 7561) — Shuyuan Zhang, Sharad Malik, Rick McGeer (auth.), Supratik Chakraborty, Madhavan Mukund (2012)
- Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture Notes in Computer Science (6252)) — Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (2010)
- Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Lecture Notes in Computer Science (6996)) — Edmund M. Clarke, Paolo Zuliani (auth.), Tevfik Bultan, Pao-Ann Hsiung (2011)
- Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science, 10747) — Jens Palsberg Isil Dillig (2018)