David Harel

David Harel

External collaborator