Proving without teaching/ teaching without proving

Research output: Contribution to journalComment/debate

Original languageEnglish (US)
Number of pages1
JournalCommunications of the ACM
Volume57
Issue number11
DOIs
StatePublished - Nov 1 2014

ASJC Scopus subject areas

  • Computer Science(all)

Cite this