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.

 

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

Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution)., , , , и . TACAS (2), том 12079 из Lecture Notes in Computer Science, стр. 418-422. Springer, (2020)Separating Map Variables in a Logic-Based Intermediate Verification Language., , , , и . NETYS, том 12754 из Lecture Notes in Computer Science, стр. 169-186. Springer, (2021)Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost., , , , , , , , и . FMCAD, стр. 169-178. IEEE, (2020)Data flow in program verification.. University of Freiburg, Freiburg im Breisgau, Germany, (2019)Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification., , , и . LPAR, том 94 из EPiC Series in Computing, стр. 257-269. EasyChair, (2023)