Showing 1 - 3 results of 3 for search 'Vitek, J', query time: 0.02s Refine Results
  1. 1
    Unrestricted termination and non-termination arguments for bit-vector programs

    Unrestricted termination and non-termination arguments for bit-vector programs by David, C, Kroening, D, Lewis, M

    Published 2015
    Other Authors: “…Vitek, J…”
    Conference item
  2. 2
    Synthesising graphics card programs from DSLs.

    Synthesising graphics card programs from DSLs. by Cartey, L, Lyngsø, R, Moor, O

    Published 2012
    Other Authors: “…Vitek, J…”
    Conference item
  3. 3
    Propositional reasoning about safety and termination of heap-manipulating programs

    Propositional reasoning about safety and termination of heap-manipulating programs by David, C, Kroening, D, Lewis, M

    Published 2015
    Other Authors: “…Vitek, J…”
    Conference item

Search Tools: