Tactics for Hierarchical Proof

David Aspinall, Ewen Denney, Christoph Lüth

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Tactics for Hierarchical Proof'. Together they form a unique fingerprint.

Computer Science