Resultados de procura - Pfaller, Christian

Formal logical methods for system security and correctness

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