( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Undertaking the tokeneer challenge in event-b.

, , и . FormaliSE@ICSE, стр. 8-14. ACM, (2016)

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.

Victor Blandón Rivera

Victor Téllez Rivera

José Rivera

Eugenio Rivera

Manuel Rivera

 

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

Teaching Programming and Design-by-Contract., , , , , , , , , и . ICL (1), том 916 из Advances in Intelligent Systems and Computing, стр. 68-76. Springer, (2018)Towards dynamic interaction-based model., , , , и . CoRR, (2018)Towards Code Review Guideline in a Classroom., , , , , и . FISEE, том 12271 из Lecture Notes in Computer Science, стр. 88-105. Springer, (2019)EventB2Java: A Code Generator for Event-B., и . NFM, том 9690 из Lecture Notes in Computer Science, стр. 166-171. Springer, (2016)Translating B machines to JML specifications., , , , и . SAC, стр. 1271-1277. ACM, (2012)Size Matters: Microservices Research and Applications., , , и . Microservices, Science and Engineering, Springer, (2020)Undertaking the tokeneer challenge in event-b., , и . FormaliSE@ICSE, стр. 8-14. ACM, (2016)Introducing ADegree: Anonymisation of Social Networks Through Constraint Programming., , , и . MATES@VLDB, том 10731 из Lecture Notes in Computer Science, стр. 73-86. Springer, (2017)Towards Dynamic Interaction-Based Reputation Models., , , , и . AINA, стр. 422-428. IEEE Computer Society, (2018)Code Review in the Classroom., , , , , и . CoRR, (2020)