Verification, Model Checking, and Abstract Interpretation
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | eBook |
| Lenguaje: | inglés |
| Publicado: |
Springer Nature,
2024.
|
| Acceso en línea: | Access eBook |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|