Master Colloquium - Franka van Jaarsveld (M-CS)

Speaker    :    Franka van Jaarsveld

Subject     :    Practical Probabilistic Program Verification

Date          :    21 May 2025

Time          :   11.00 hr

Location    :   Carre 3F