Margus Veanes
AuthID: R-00K-HJ0
1
TÃTULO: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018
AUTORES: Gilles Barthe ; Geoff Sutcliffe; Margus Veanes;
PUBLICAÇÃO: 2018, FONTE: LPAR, VOLUME: 57
AUTORES: Gilles Barthe ; Geoff Sutcliffe; Margus Veanes;
PUBLICAÇÃO: 2018, FONTE: LPAR, VOLUME: 57
INDEXADO EM: 
DBLP
DBLP