Scaling Deductive Verification for Real-World Cloud Data Security

Bibliografski detalji

Izdano u:	ProQuest Dissertations and Theses (2025)
Glavni autor:	Li, Xupeng
Izdano:	ProQuest Dissertations & Theses
Teme:	Computer science Engineering Artificial intelligence Information technology
Online pristup:	Citation/Abstract Full Text - PDF
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!