Preface
Stéphane Demri,Deepak Kapur,Christoph WeidenbachVolume:
58
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-016-9394-0
Date:
January, 2017
File:
PDF, 314 KB
english, 2017