Skip to main navigation Skip to search Skip to main content

A Few Considerations on Structural and Logical Composition in Specification Theories

    • The French National Institute for Computer Science (INRIA)

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Fingerprint

    Dive into the research topics of 'A Few Considerations on Structural and Logical Composition in Specification Theories'. Together they form a unique fingerprint.
    Sort by

    Keyphrases

    Material Science

    Computer Science