top
new
show
ask
jobs
about

Gilles Dowek: an explorer of formal methods

inria.fr

1 points by homarp 5 hours ago