Rivera, Víctor
2842  Ergebnisse:
Personensuche X
?
1

Cryptocurrency Payment System Model for B2C E-Commerce Plat..:

, In: 2023 International Conference on Electrical, Computer and Energy Technologies (ICECET),
 
?
 
?
4

Towards Code Review Guideline in a Classroom:

, In: Frontiers in Software Engineering Education; Lecture Notes in Computer Science,
Rivera, Victor ; Aslam, Hamna ; Naumchev, Alexandr... - p. 88-105 , 2020
 
?
6

Towards Static Verification of Clojure Contract-Based Progr..:

, In: Software Technology: Methods and Tools; Lecture Notes in Computer Science,
Pinzaru, Gheorghe ; Rivera, Victor - p. 73-80 , 2019
 
?
7

An Architecture for Distributed Ledger-Based M2M Auditing f..:

, In: Advances in Intelligent Systems and Computing; Web, Artificial Intelligence and Network Applications,
Strugar, Dragos ; Hussain, Rasheed ; Mazzara, Manuel... - p. 116-128 , 2019
 
?
9

Mapping Event-B Machines into Eiffel Programming Language:

, In: Advances in Intelligent Systems and Computing; Proceedings of 6th International Conference in Software Engineering for Defence Applications,
Rivera, Victor ; Lee, JooYoung ; Mazzara, Manuel - p. 255-264 , 2019
 
?
11

Duplex Sequencing Identifies Low Level ABL1 Kinase Domain M..:

Short, Nicholas ; Kantarjian, Hagop ; Sasaki, Koji...
Clinical Lymphoma Myeloma and Leukemia.  19 (2019)  - p. S186 , 2019
 
?
13

Teaching Programming and Design-by-Contract:

, In: The Challenges of the Digital Transformation in Education; Advances in Intelligent Systems and Computing,
 
?
15

Impact of Landmark Responses on 3-Year Outcomes in CP-CML P..:

Talpaz, Moshe ; Müller, Martin ; Baccarani, Michele...
Clinical Lymphoma Myeloma and Leukemia.  16 (2016)  - p. S61-S62 , 2016
 
1-15