LAUSR

Edmund M. Clarke (1945---2020)

Sign Up to like & get
recommendations!
0 Published in 2021 at "Communications of the ACM"

DOI: 10.1145/3447810

Abstract: P H O T O C O U R T E S Y O F C A R N E G I E M E L L O N U N I V E R… read more here.

Keywords: mathematics; clarke 1945; edmund clarke; 1945 2020 ... See more keywords