Automated Technology for Verification and Analysis
Language: EN Series: Lecture Notes in Computer SciencePublication details: 2019 Springer International PublishingEdition: 1st ed. 2019Description: 11781ISBN:- 978-3-030-31784-3
- 1611-3349
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.