Collection
Special Issue in Memory of Ed Clarke
This special issue is dedicated to the memory of the former Editor in Chief Prof. Edmund M. Clarke.
He was a University Professor Emeritus at Carnegie Mellon University and co-recipient of the 2007 Turing Award, and one of the founders of the Computer Aided Verification conference.
Editors
-
Dr. Paolo Zuliani
Newcastle University, UK
-
Dr. Sicun Gao
University of California, San Diego USA
