Obituary: Harald Ganzinger
From MaRDI portal
Publication:2583287
DOI10.1007/BF03177741zbMath1085.01512OpenAlexW4241079254MaRDI QIDQ2583287
Publication date: 16 January 2006
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03177741
This page was built for publication: Obituary: Harald Ganzinger
