Ruzica Piskac
AuthID: R-00J-THE
1
TÃTULO: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
AUTORES: Constantin Enea; Ruzica Piskac;
PUBLICAÇÃO: 2019, FONTE: VMCAI, VOLUME: 11388
AUTORES: Constantin Enea; Ruzica Piskac;
PUBLICAÇÃO: 2019, FONTE: VMCAI, VOLUME: 11388
INDEXADO EM: 
DBLP
DBLP