Verification, Model Checking, and Abstract Interpretation
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | eBook |
| Idioma: | inglés |
| Publicado: |
Springer Nature,
2024.
|
| Acceso en liña: | Access eBook |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Descrición Física: | 1 online resource |
|---|---|
| Formato: | Mode of access: World Wide Web. |
| ISBN: | 978-3-031-50524-9 |
| DOI: | 10.1007/978-3-031-50524-9 |