[PADL'24] Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using B... | ACM SIGPLAN | Podwise