Mostrando 1 - 4 Resultados de 4 Para Buscar 'Weissenbacher, Georg', tiempo de consulta: 0.01s Limitar resultados
  1. 1
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs
  2. 2
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Under-approximating loops in C programs for fast counterexample detection
  3. 3
    Enlace del recurso
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Mutation testing with hyperproperties
  4. 4
    Enlace del recurso
    Enlace del recurso
    Online Artículo Texto
    Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness
Herramientas de búsqueda: RSS