No profile matches “”.
Sections
People tagged with Program verification.
1 profile
Israeli computer scientist who brought temporal logic into computing
1941 – 2009
