9789310066802
Hetal Naidu
Gagan Books
English
Information and Computing Technologies - Information and Computing Technologies
2024
12195.00
Quantitative Access Control Policy Analysis and Repair Using Model Counting
