Semantics-Directed Program Analysis: a Tool-Maker's Perspective

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProc. Static Analysis Symposium SAS'96
    PublisherSpringer Verlag
    Publication date1996
    Pages2-21
    Publication statusPublished - 1996
    EventProc. Static Analysis Symposium SAS'96 -
    Duration: 1 Jan 1996 → …

    Conference

    ConferenceProc. Static Analysis Symposium SAS'96
    Period01/01/1996 → …

    Cite this