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