Resultados da busca - Pfaller, Christian

  • Mostrando 1 - 1 resultados de 1
Refinar Resultados
  1. 1

    Formal logical methods for system security and correctness

    Publicado em 2008
    Outros Autores: “…Pfaller, Christian…”
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico