Freek Wiedijk

Identifiers

• name variant Freek Wiedijk 0.60 · backfill

Papers (3)

1. A benchmark for C program verification cs.PL · 2019 · author #10
2. Proof-checking Euclid cs.LO · 2017 · author #3
3. Proviola: A Tool for Proof Re-animation cs.LO · 2010 · author #4

Mentions

• 1005.2672 #4 · backfill · confidence 0.70 Freek Wiedijk

Frequent Coauthors

• Herman Geuvers 2 shared papers
• Beno\^it Viguier 1 shared papers
• Carst Tankink 1 shared papers
• Daniil Frumin 1 shared papers
• Freek Verbeek 1 shared papers
• James McKinna 1 shared papers
• Julien Narboux 1 shared papers
• L\'eon Gondelman 1 shared papers
• Marc Schoolderman 1 shared papers
• Marko van Eekelen 1 shared papers
• Michael Beeson 1 shared papers
• Robbert Krebbers 1 shared papers
• Sjaak Smetsers 1 shared papers