Mostrando 1 - 1 resultados de 1 para a busca 'Coen-Porisini, Alberto', tempo de busca: 0.01s Refinar Resultados
  1. 1

    Using symbolic execution for verifying safety-critical systems. por Coen-Porisini, Alberto

    Artigo

    Using symbolic execution for verifying safety-critical systems.

Ferramentas de busca: