Margus Veanes
AuthID: R-00K-HJ0
1
TITLE: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018
AUTHORS: Gilles Barthe ; Geoff Sutcliffe; Margus Veanes;
PUBLISHED: 2018, SOURCE: LPAR, VOLUME: 57
AUTHORS: Gilles Barthe ; Geoff Sutcliffe; Margus Veanes;
PUBLISHED: 2018, SOURCE: LPAR, VOLUME: 57
INDEXED IN: 
DBLP
DBLP