Automated Technology for Verification and Analysis
by S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
Published
2025
Publisher
Springer
ISBN-13
9783031787492
Frequently Asked Questions
Who is the author of Automated Technology for Verification and Analysis?
Automated Technology for Verification and Analysis was written by S. Akshay, Aina Niemetz, Sriram Sankaranarayanan.
When was Automated Technology for Verification and Analysis published?
The publication date for this specific edition is 2025. The original work may have been published on a different date.