Showing 1 - 2 results of 2 for search 'Wies, Thomas', query time: 0.03s Refine Results
  1. 1
    On Field Constraint Analysis

    On Field Constraint Analysis by Wies, Thomas, Kuncak, Viktor, Lam, Patrick, Podelski, Andreas, Rinard, Martin

    Published 2005
    Get full text
  2. 2
    On Using First-Order Theorem Provers in the Jahob Data Structure Verification System

    On Using First-Order Theorem Provers in the Jahob Data Structure Verification System by Bouillaguet, Charles, Kuncak, Viktor, Wies, Thomas, Zee, Karen, Rinard, Martin

    Published 2006
    Get full text

Search Tools: