1 citations · 3 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020
Formal Verification of Access Control Model for My Health Record System
Victor Rivera
My Health Record system is the Australian Government's digital health record system that holds My Health Record. My Health Record is a secure online health record containing consum…
cs.CY2020★ 1 cited
Code Review in the Classroom
Victor Rivera, Hamna Aslam, Alexandr Naumchev +3
This paper presents a case study to examine the affinity of the code review process among young developers in an academic setting. Code review is indispensable considering the posi…