Risultati della ricerca - Pfaller, Christian

Formal logical methods for system security and correctness

Altri autori: “...Pfaller, Christian...”
An electronic book accessible through the World Wide Web; click to view