FREE HISTORICAL FIGURES OF COMPUTING DOSSIER

Zohar Manna

1939–2018 · Computer Scientist

Computer Scientist

Program verification; temporal logic for programs; Mathematical Theory of Computation