Scaling Deductive Verification for Real-World Cloud Data Security
Bewaard in:
| Gepubliceerd in: | ProQuest Dissertations and Theses (2025) |
|---|---|
| Hoofdauteur: | |
| Gepubliceerd in: |
ProQuest Dissertations & Theses
|
| Onderwerpen: | |
| Online toegang: | Citation/Abstract Full Text - PDF |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|
Wees de eerste die reageert!