top
new
show
ask
jobs
about

Gilles Dowek: an explorer of formal methods

inria.fr

2 points by homarp 6 hours ago