Theorem Proving Support for View Consistency Checking

Richard F. Paige, Jonathan S. Ostroff, Phillip J Brooke

    Research output: Contribution to journalArticlepeer-review

    Fingerprint

    Dive into the research topics of 'Theorem Proving Support for View Consistency Checking'. Together they form a unique fingerprint.

    Engineering & Materials Science