Criteria for, and experience with ADTs in large LOTOS specifications

H.H.C. Kremer

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Original languageUndefined
    Title of host publication8th Workshop on ADT/3rd Compass workshop
    Place of PublicationDourdan, France
    Pages-
    Number of pages12
    Publication statusPublished - 26 Aug 1991

    Keywords

    • METIS-119471

    Cite this