Abstract interpretation: A theory of approximate computation

    Research output: Contribution to conferenceOther

    Original languageEnglish
    Pages367 - 378
    Number of pages12
    Publication statusPublished - 1997
    Event4th Interntional Symposium, SAS '97 - Paris France, Berlin Germany
    Duration: 8 Sep 199710 Sep 1997

    Conference

    Conference4th Interntional Symposium, SAS '97
    CityBerlin Germany
    Period8/09/9710/09/97

    Cite this