Obituary: Edmund Melson Clarke jun. (1945--2020)
From MaRDI portal
Publication:6056636
DOI10.1007/S10703-023-00437-8zbMath1522.01062OpenAlexW4386743031MaRDI QIDQ6056636
Sicun Gao, Paolo Zuliani, Orna Grumberg
Publication date: 30 October 2023
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-023-00437-8
This page was built for publication: Obituary: Edmund Melson Clarke jun. (1945--2020)
