Formal Foundation for Reasoning about Composition

Maurice Glandrup, Arend Rensink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationAdvanced Separation of Concerns
    Place of PublicationTampa, Florida (USA)
    Pages-
    Number of pages8
    Publication statusPublished - 2001
    Event16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001 - Tampa Convention Center, Tampa, United States
    Duration: 14 Oct 200118 Oct 2001
    Conference number: 16
    http://www.oopsla.org/2001/

    Conference

    Conference16th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2001
    Abbreviated titleOOPSLA
    CountryUnited States
    CityTampa
    Period14/10/0118/10/01
    Internet address

    Keywords

    • METIS-203577

    Cite this