Open menu
Derek Charles Oppen
1948
On logic and program verification