( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ESBMC v7.4: Harnessing the Power of Intervals.

, , , , , , , , , , , и . CoRR, (2023)

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.

Kaciano Barbosa Gadelha

Mikhail Salzmann

Mikhail Dobrynin

Mikhail Karnevskiy

Mikhail Shamonin

 

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

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs., , , и . CoRR, (2020)ESBMC v7.3: Model Checking C++ Programs Using Clang AST., , , , и . SBMF, том 14414 из Lecture Notes in Computer Science, стр. 141-152. Springer, (2023)Software Usability Evaluation for Augmented Reality Through User Tests., , и . HCI (44), том 1498 из Communications in Computer and Information Science, стр. 349-356. Springer, (2021)Experimental Data for Model Checking C++03 Programs., , и . (сентября 2019)A Robust and Real-Time Face Anti-spoofing Method Based on Texture Feature Analysis., , , , и . HCI (LBP), том 11786 из Lecture Notes in Computer Science, стр. 484-496. Springer, (2019)Verification and refutation of C programs based on k-induction and invariant inference., , , , и . Int. J. Softw. Tools Technol. Transf., 23 (2): 115-135 (2021)ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution)., , , , , , , , , и 2 other автор(ы). TACAS (3), том 14572 из Lecture Notes in Computer Science, стр. 376-380. Springer, (2024)Themes Validation Tool., , , , и . HCI (37), том 1088 из Communications in Computer and Information Science, стр. 16-22. Springer, (2019)Model Checking C++ Programs., , и . CoRR, (2021)Model checking C++ programs., , и . Softw. Test. Verification Reliab., (2022)