Abstract Interpretation of Mobile Ambients

Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalScience of Computer Programming
    Volume47
    Issue number2-3
    Pages (from-to)145-175
    ISSN0167-6423
    DOIs
    Publication statusPublished - 2003

    Cite this