Old Web
English
Sign In
Acemap
>
authorDetail
>
Freek Verbeek
Freek Verbeek
Computer science
Formal methods
Programming language
verification system
Electronic circuit
3
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
A benchmark for C program verification.
2019
arXiv: Programming Languages
Marko C. J. D. van Eekelen
Daniil Frumin
Herman Geuvers
Léon Gondelman
Robbert Krebbers
Marc Schoolderman
Sjaak Smetsers
Freek Verbeek
Benoît Viguier
Freek Wiedijk
Show All
Source
Cite
Save
Citations (0)
Recreational Formal Methods: Designing Vacuum Cleaning Trajectories
2014
Bulletin of The European Association for Theoretical Computer Science
Frits W. Vaandrager
Freek Verbeek
Show All
Source
Cite
Save
Citations (1)
Verification of Building Blocks for Asynchronous Circuits
2013
Freek Verbeek
Julien Schmaltz
Show All
Source
Cite
Save
Citations (0)
1