A mostrar 1 - 1 resultados de 1 para a pesquisa 'Coen-Porisini, Alberto', tempo de pesquisa: 0.01seg 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 pesquisa: