Mostrando 21 - 30 resultados de 63 para a busca '"Software / Program Verification."', tempo de busca: 0.02s Refinar Resultados
  1. 21

    Context- and path-sensitive memory leak detection. por Xie, Yichen

    Artigo
  2. 22

    Relational analysis of algebraic datatypes. por Kuncak, Viktor

    Artigo
  3. 23

    Lightweight object specification with typestates. por Bierhoff, Kevin

    Artigo
  4. 24

    Joining dataflow with predicates. por Fischer, Jeffrey

    Artigo
  5. 25
  6. 26

    Usage model-based automated testing of C++ templates. por Sayre, Kirk

    Artigo
  7. 27
  8. 28
  9. 29
  10. 30

Ferramentas de busca: