Search
Research outputs
Bit-Vector Typestate Analysis [2023]
Arslanagic, Alen; Subotic, Pavle; Perez, Jorge ADynamic Role Authorisation in Multiparty Conversations
[2016]
Gilezan, Silvia 
; Jakšić, Svetlana ; Pantović, Jovanka ; Perez, A. Jorge; Torres, Vieira Hugo
Филтери
По типу
- 2