Search results for ‘Davide Sangiorgi (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt),David Walker (University of Oxford)