ICVL 2020

Professor Zohar Manna (1939-2018)


"It pioneered the logical analysis of programs for correctness vis-à-specifications and for termination properties"

by Nachum Dershowitz and Richard Waldinger, “Zohar Manna (1939-2018)”, Formal Aspects of Computing, vol. 31, no. 6, December 2019, pp. 643-660.

http://c3.icvl.eu/?q=2020/manna