Rezultati - Pfaller, Christian

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Formal logical methods for system security and correctness

    Izdano 2008
    Drugi avtorji: “...Pfaller, Christian...”
    An electronic book accessible through the World Wide Web; click to view
    Elektronski Conference Proceeding eKnjiga