Mostrando 1 - 3 resultados de 3 para a busca 'Marat Akhin', tempo de busca: 0.02s Refinar Resultados
  1. 1
    Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic

    Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic por Marat Akhin, Vladimir Itsykson

    Publicado em 2015-03-01
    Obter o texto integral
    Artigo
  2. 2
    Defect Detection: Combining Bounded Model Checking and Code Contracts

    Defect Detection: Combining Bounded Model Checking and Code Contracts por Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

    Publicado em 2013-12-01
    Obter o texto integral
    Artigo
  3. 3
    Random Model Sampling: Making Craig Interpolation Work When It Should Not

    Random Model Sampling: Making Craig Interpolation Work When It Should Not por Marat Akhin, Sam Kolton, Vladimir Itsykson

    Publicado em 2014-12-01
    Obter o texto integral
    Artigo

Ferramentas de busca: