Resultats de la cerca

  • Mostrar 1 - 2 resultats de 2
Refinar resultats
  1. 1
  2. 2

    Formal logical methods for system security and correctness

    Publicat 2008
    An electronic book accessible through the World Wide Web; click to view
    Electrònic Actes de congresos eBook