Verification, Model Checking, and Abstract Interpretation
Language: EN Series: Lecture Notes in Computer SciencePublication details: 2018 Springer International PublishingEdition: 1st ed. 2018Description: 10747ISBN:- 978-3-319-73721-8
- 1611-3349
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.