Materias dentro de su búsqueda.
Mostrando 1 - 2 Resultados de 2 Para Buscar '', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
    Publicado 2011
    Libro electrónico
  2. 2
    Verification-based software-fault detection
    Publicado 2011
    Libro electrónico

Herramientas de búsqueda: