Abstraction Functions as Types: Modular Verification of Behavior and Cost

Harrison Grodin

2026-01-08 10:30:00, #SéminaireLocal
Salle B107, bâtiment B, Université de Villetaneuse