From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

NoCFG: A Lightweight Approach for Sound Call Graph Approximation., , , и . CoRR, (2021)Property Directed Self Composition., , , и . CAV (1), том 11561 из Lecture Notes in Computer Science, стр. 161-179. Springer, (2019)Automated Property Directed Self Composition., , , , и . ATVA, том 14216 из Lecture Notes in Computer Science, стр. 139-158. Springer, (2023)A lightweight approach for sound call graph approximation., , , и . SAC, стр. 1837-1844. ACM, (2022)