Zohar Manna (1939--2018)
From MaRDI portal
Publication:2280208
DOI10.1007/s00165-019-00500-4zbMath1427.01018WikidataQ126660286 ScholiaQ126660286MaRDI QIDQ2280208
Nachum Dershowitz, Richard Waldinger
Publication date: 18 December 2019
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-019-00500-4