CIF MSOS type system

A.P. Meer, van der

    Research output: Book/ReportReportAcademic

    72 Downloads (Pure)


    This document provides a formal description of the type system of a modeling language called Compositional Interchange Format (CIF).
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages48
    Publication statusPublished - 2012

    Publication series

    NameComputer science reports
    ISSN (Print)0926-4515


    Dive into the research topics of 'CIF MSOS type system'. Together they form a unique fingerprint.

    Cite this