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 |
---|