≈ the.bay.news

Xavier Leroy on programming, languages and formal verification

youtube.com· lo · 0 points ·

0 comments

Sign in to join the discussion — your thebay.events account works here.

No comments yet.