( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a mostly-automated prover for bit-vector arithmetic.

, и . C3S2E, стр. 132-133. ACM, (2013)

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.

Ünal Abal

Lucía Aballe

Yael Iagolnitzer

Bilen Emek Abali

 

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

Towards a mostly-automated prover for bit-vector arithmetic., и . C3S2E, стр. 132-133. ACM, (2013)Effective Bug Finding in C Programs with Shape and Effect Abstractions., , и . VMCAI, том 10145 из Lecture Notes in Computer Science, стр. 34-54. Springer, (2017)Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)., , , и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 493-495. Springer, (2012)42 variability bugs in the linux kernel: a qualitative analysis., , и . ASE, стр. 421-432. ACM, (2014)