( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inferring Loop Invariants through Gamification.

, , , , и . CHI, стр. 231. ACM, (2018)

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.

Dimitar Iliev

Dimitar Varimezov

Dimitar Hristosov

Dimitar Ivanov

Dimitar Douchkov

 

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

C-to-Verilog translation validation., , и . MEMOCODE, стр. 42-47. IEEE, (2015)Protecting C++ Dynamic Dispatch Through VTable Interleaving., , и . NDSS, The Internet Society, (2016)Toward Gamification and Crowdsourcing of Software Verification.. University of California San Diego, USA, (2018)base-search.net (ftcdlib:qt6ng0q1n8).