Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings (Programming and Software Engineering)
Product Description
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings (Programming and Software Engineering)
Technical Specifications
You might also like
Medical Sociology in Africa
Controls and Art: Inquiries at the Intersection of the Subjective and the Objective
Parameterized and Exact Computation: 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers (Theoretical Computer Science and General Issues)
Helmut Schmidt: Pioneer of International Economic and Financial Cooperation (Policymakers)
Reframing the Transitional Justice Paradigm: Women's Affective Memories in Post-Dictatorial Argentina (Springer Series in Transitional Justice, 10)
Principles of Distributed Systems: 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings (Theoretical Computer Science and General Issues)
Mining Intelligence and Knowledge Exploration: First International Conference, MIKE 2013, Tamil Nadu, India, December 18-20, 2013, Proceedings (Lecture Notes in Computer Science, 8284)
Slow Viscous Flow