Verification, Model Checking, and Abstract Interpretation
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | , |
| Formato: | eBook |
| Idioma: | inglés |
| Publicado: |
Springer Nature,
2025.
|
| Subjects: | |
| Acceso en liña: | Access eBook |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|