In Memoriam: Edmund M. Clarke (1945–2020)
| العنوان: | In Memoriam: Edmund M. Clarke (1945–2020) |
|---|---|
| المؤلفون: | Simson Garfinkel, Eugene H. Spafford |
| المصدر: | Communications of the ACM. 64:23-24 |
| بيانات النشر: | Association for Computing Machinery (ACM), 2021. |
| سنة النشر: | 2021 |
| مصطلحات موضوعية: | General Computer Science, Computer science |
| تدمد: | 1557-7317 0001-0782 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::440e13bdf1b819b18747be3326f26478 https://doi.org/10.1145/3447810 |
| حقوق: | OPEN |
| رقم الأكسشن: | edsair.doi...........440e13bdf1b819b18747be3326f26478 |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 15577317 00010782 |
|---|