Computer Aided Verification
| Beste egile batzuk: | |
|---|---|
| Formatua: | Baliabide elektronikoa eBook |
| Hizkuntza: | English |
| Argitaratua: |
Springer International Publishing,
2020
|
| Edizioa: | 1 |
| Gaiak: | |
| Sarrera elektronikoa: | Full text available on Springer Off-campus access |