Ruzica Piskac
AuthID: R-00J-THE
1
TITLE: Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
AUTHORS: Constantin Enea; Ruzica Piskac;
PUBLISHED: 2019, SOURCE: VMCAI, VOLUME: 11388
AUTHORS: Constantin Enea; Ruzica Piskac;
PUBLISHED: 2019, SOURCE: VMCAI, VOLUME: 11388
INDEXED IN: 
DBLP
DBLP