Showing 1 - 2 results of 2 for search 'Kiniry, J', query time: 0.02s Refine Results
  1. 1
    Strongest Postcondition of Unstructured Programs

    Strongest Postcondition of Unstructured Programs by Grigore, R, Fairmichael, F, Charles, J, Kiniry, J

    Published 2009
    Journal article
  2. 2
    CLOPS: A DSL for command line options

    CLOPS: A DSL for command line options by Janota, M, Fairmichael, F, Holub, V, Grigore, R, Charles, J, Cochran, D, Kiniry, J

    Published 2009
    Journal article

Search Tools: