Showing 1 - 1 results of 1 for search 'Glazberg, Z', query time: 0.02s Refine Results
  1. 1
    ExpliSAT: Guiding SAT−Based Software Verification with Explicit States

    ExpliSAT: Guiding SAT−Based Software Verification with Explicit States by Barner, S, Eisner, C, Glazberg, Z, Kroening, D, Rabinovitz, I

    Published 2007
    Conference item

Search Tools: