Search Results - "SANDIP RAY"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    A Mechanical Analysis of Program Verification Strategies.

    Authors: Sandip Ray Warren Hunt John Matthews et al.

    Source: Journal of Automated Reasoning. May2008, Vol. 40 Issue 4, p245-269. 25p.

    Subjects: Completeness theorem, Model theory, Comparative linguistics, Information theory

    Save to List
  2. 2

    Efficient execution in an automated reasoning environment.

    Authors: DAVID A. GREVE MATT KAUFMANN PANAGIOTIS MANOLIOS et al.

    Source: Journal of Functional Programming; Jan2008, Vol. 18 Issue 1, p15-46, 32p

    PDF Full Text
    Save to List

Search Tools: