CORE

🇺🇦   make metadata, not war

    2 research outputs found

    Formal aspects of component software

    Author
    Publication venue
    CWI
    Publication date
    Field of study
    Get PDF
    This is the pre-proceedings of 6th International Workshop on Formal Aspects of Component Software (FACS'09)
    CWI's Institutional Repository

    A Formal Template Language Enabling Metaproof

    Author
    Publication venue
    'Springer Science and Business Media LLC'
    Publication date
    Field of study
    No full text
    Crossref
    corecore