Logo Logo
Help
Contact
Switch Language to German
Beyer, Dirk ORCID: 0000-0003-4832-7662; Huisman, Marieke (2020): Selected and Extended Papers from TACAS 2018: Preface. In: Journal of Automated Reasoning, Vol. 64, No. 7: pp. 1331-1332
[img]
Preview
Creative Commons Attribution 172kB