( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Generating Tests by Example.

, , и . VMCAI, том 10747 из Lecture Notes in Computer Science, стр. 406-429. Springer, (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.

Igor Rasin

Rasin Özay

Hajo Rasing

Heinrich Rasing

Ingo Rasing

 

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

Generating Modulo-2 Linear Invariants for Hardware Model Checking., , , и . Haifa Verification Conference, том 8855 из Lecture Notes in Computer Science, стр. 54-67. Springer, (2014)Modular Verification of Concurrent Programs via Sequential Model Checking., , и . ATVA, том 11138 из Lecture Notes in Computer Science, стр. 228-247. Springer, (2018)Modular Verification of Concurrent Programs via Sequential Model Checking., , и . CoRR, (2021)Generating Tests by Example., , и . VMCAI, том 10747 из Lecture Notes in Computer Science, стр. 406-429. Springer, (2018)