Retrenchment for Event-B: UseCase-wise development and Rodin integration

    Research output: Contribution to journalArticlepeer-review

    Fingerprint

    Dive into the research topics of 'Retrenchment for Event-B: UseCase-wise development and Rodin integration'. Together they form a unique fingerprint.

    Social Sciences

    Earth and Planetary Sciences

    Psychology

    Neuroscience