Verification, Model Checking, and Abstract InterpretationSriram Sankaranarayanan
Verification, Model Checking, and Abstract Interpretation
Sriram Sankaranarayanan, Ashutosh Trivedi, Krishna Shankaranarayanan · 2025
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2025
- Language
- English
- Publisher
- Springer
- Editions
- 2
- ISBN
- 9783031826993
Data source: Wikidata
More by Sriram Sankaranarayanan
Formal Modeling and Analysis of Timed SystemsSriram Sankaranarayanan
Formal Modeling and Analysis of Timed Systems
Sriram Sankaranarayanan · 2015
Tools and Algorithms for the Construction and Analysis of SystemsSriram Sankaranarayanan
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan · 2023