David Harel
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paper
“do considered od” considered odder than “do considered ob”
Abstract
No abstract available.
Related
Ashok Chandra, David Harel
Journal of Computer and System Sciences
David Harel
Theoretical Computer Science
Assaf Marron, Lior Limonad, et al.
SEAMS 2020