Static Analysis and Model Checking of Software Systems

    Project Details

    StatusFinished
    Effective start/end date01/08/200925/10/2012

    Research Output

    • 1 Ph.D. thesis

    A Succinct Approach to Static Analysis and Model Checking

    Filipiuk, P., 2012, Kgs. Lyngby: Technical University of Denmark. 187 p. (IMM-PHD-2012; No. 278).

    Research output: Book/ReportPh.D. thesisResearch

    Open Access
    File
    328 Downloads (Pure)