Resultats de la cerca - Pfaller, Christian

Formal logical methods for system security and correctness

Altres autors: “…Pfaller, Christian…”
An electronic book accessible through the World Wide Web; click to view