Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)

Daniel Raggi (Lead / Corresponding author), Alan Bundy, Gudmund Grov, Alison Pease

Computing

Research output: Contribution to journal › Article › peer-review

4 Citations (Scopus)

265 Downloads (Pure)

1 results
- Last Name(descending)

Pease, Alison
- Computing - Senior Lecturer (Teaching and Research)
Person: Academic