Social processes and proofs of theorems and programs
Communications of the ACM
Rejuvenating experimental computer science: a report to the National Science Foundation and others
Communications of the ACM
An environment for research in microprogramming and emulation
Communications of the ACM
Hi-index | 48.22 |