Verification, Model Checking, and Abstract Interpretation
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | eLyfr |
| Iaith: | Saesneg |
| Cyhoeddwyd: |
Springer Nature,
2024.
|
| Mynediad Ar-lein: | Access eBook |
| Tagiau: |
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|