Active Learning Sheets for A Beginner’s Course on Reasoning about Imperative Programs ABSTRACT
by
Kung-kiu Lau
Citations: | 3 - 0 self |