Résultats de la recherche - Pfaller, Christian

  • Résultat(s) 1 - 1 résultats de 1
Affiner les résultats
  1. 1

    Formal logical methods for system security and correctness

    Publié 2008
    Autres auteurs: “…Pfaller, Christian…”
    An electronic book accessible through the World Wide Web; click to view
    Électronique Actes de congrès eBook