Static Analysis for Model Checking

    Project Details

    StatusFinished
    Effective start/end date01/08/201025/10/2013

    Research Output

    • 1 Ph.D. thesis

    An algebraic approach to analysis of recursive and concurrent programs

    Terepeta, M. T., 2013, Kgs. Lyngby: Technical University of Denmark. 205 p. (IMM-PHD-2013; No. 307).

    Research output: Book/ReportPh.D. thesis

    Open Access
    File