Mostrando 61 - 63 resultados de 63 para a busca '"Software program verification."', tempo de busca: 0.02s Refinar Resultados
  1. 61
  2. 62

    Heuristic-guided counterexample search in FLAVERS. por Tan, Jianbin

    Artigo
  3. 63

    Interval arithmetic From principles to implementation. por Hickey, T.

    Publicado no Journal of the ACM
    Artigo

Ferramentas de busca: