Čájehuvvojit 1 - 3 oktiibuot 3 bohtosis ohcui Logozzo, F', ohcanáigi: 0,03s Aiddostahte ozu
  1. 1
    Approximation Refinement for Interpolation−Based Model Checking

    Approximation Refinement for Interpolation−Based Model Checking Dahkki D'Silva, V, Purandare, M, Kroening, D

    Almmustuhtton 2008
    Eará dahkkit: “…Logozzo, F…”
    Conference item
  2. 2
    Automatic Verification of Erlang−Style Concurrency

    Automatic Verification of Erlang−Style Concurrency Dahkki D’Osualdo, E, Kochems, J, Ong, C

    Almmustuhtton 2013
    Eará dahkkit: “…Logozzo, F…”
    Girji
  3. 3
    Interpolation-based verification of floating-point programs with abstract CDCL

    Interpolation-based verification of floating-point programs with abstract CDCL Dahkki Brain, M, D'Silva, V, Griggio, A, Haller, L, Kroening, D

    Almmustuhtton 2013
    Eará dahkkit: “…Logozzo, F…”
    Conference item

Ohcanreaiddut: