Результати пошуку - Pfaller, Christian
-
1
Formal logical methods for system security and correctness
Опубліковано 2008Інші автори: “...Pfaller, Christian...”
An electronic book accessible through the World Wide Web; click to view
Електронний ресурс Матеріали конференцій eКнига