Scaling Deductive Verification for Real-World Cloud Data Security
Wedi'i Gadw mewn:
| Cyhoeddwyd yn: | ProQuest Dissertations and Theses (2025) |
|---|---|
| Prif Awdur: | |
| Cyhoeddwyd: |
ProQuest Dissertations & Theses
|
| Pynciau: | |
| Mynediad Ar-lein: | Citation/Abstract Full Text - PDF |
| Tagiau: |
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
Byddwch y cyntaf i adael sylw!