Abstract interpretation: A theory of approximate computation

    Research output: Book/ReportBookOther

    Original languageEnglish
    Place of PublicationMelbourne Vic Australia
    PublisherMonash University
    Number of pages13
    Publication statusPublished - 1997

    Cite this

    Marriott, K. (1997). Abstract interpretation: A theory of approximate computation. Melbourne Vic Australia: Monash University.
    Marriott, Kim. / Abstract interpretation: A theory of approximate computation. Melbourne Vic Australia : Monash University, 1997. 13 p.
    @book{62aa676870344594a713cca5b6154391,
    title = "Abstract interpretation: A theory of approximate computation",
    author = "Kim Marriott",
    year = "1997",
    language = "English",
    publisher = "Monash University",

    }

    Marriott, K 1997, Abstract interpretation: A theory of approximate computation. Monash University, Melbourne Vic Australia.

    Abstract interpretation: A theory of approximate computation. / Marriott, Kim.

    Melbourne Vic Australia : Monash University, 1997. 13 p.

    Research output: Book/ReportBookOther

    TY - BOOK

    T1 - Abstract interpretation: A theory of approximate computation

    AU - Marriott, Kim

    PY - 1997

    Y1 - 1997

    M3 - Book

    BT - Abstract interpretation: A theory of approximate computation

    PB - Monash University

    CY - Melbourne Vic Australia

    ER -

    Marriott K. Abstract interpretation: A theory of approximate computation. Melbourne Vic Australia: Monash University, 1997. 13 p.