Jore Booy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
1
Venues
1
Active years
2025–2025
Best venue rank
C
Where they publish
Papers
1 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMICS | A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier. | Adrian Beers, Jore Booy, Jan Friso Groote, Johan van den Bogaard, Mark Bouwman |