Specify in RSL and Prove in Isabelle

Morten Peter Lindegaard

    Research output: Contribution to conferencePosterResearch

    Fingerprint

    Dive into the research topics of 'Specify in RSL and Prove in Isabelle'. Together they form a unique fingerprint.

    Engineering & Materials Science