Basic proof skills of computer science students

Pieter H. Hartel (Editor), B. van Es, M.J. Plasmeijer (Editor), Th.J.M. Tromp

    Research output: Contribution to conferencePaperAcademicpeer-review

    3 Citations (Scopus)
    590 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Basic proof skills of computer science students'. Together they form a unique fingerprint.