Search Results - Pfaller, Christian
- Showing 1 - 1 results of 1
-
1
Formal logical methods for system security and correctness
Published 2008Other Authors: “…Pfaller, Christian…”
Call Number: Loading…An electronic book accessible through the World Wide Web; click to view
Located: Loading…
Electronic Conference Proceeding eBook