Scaling Deductive Verification for Real-World Cloud Data Security

Dettagli Bibliografici

Pubblicato in:	ProQuest Dissertations and Theses (2025)
Autore principale:	Li, Xupeng
Pubblicazione:	ProQuest Dissertations & Theses
Soggetti:	Computer science Engineering Artificial intelligence Information technology
Accesso online:	Citation/Abstract Full Text - PDF
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!