Formal Correctness Proof of a Program Logic Calculus for the Deductive Verification of Java Programs

  • Gore, Rajeev (PI)

    Project: Research

    Project Details

    StatusFinished
    Effective start/end date1/07/02 → 30/06/03