Verification, Model Checking, and Abstract InterpretationRayna Dimitrova
Verification, Model Checking, and Abstract Interpretation
Rayna Dimitrova, Ori Lahav, Sebastian Wolff · 2024
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
- 2024
- Language
- English
- Publisher
- Springer
- Editions
- 2
- ISBN
- 9783031505232
Data source: Wikidata