Sponsored by:

  • Radboud University
  • NWO

Workshop on Realistic Program Verification

Wednesday 2 December - Radboud University Nijmegen

Registration

Registration is closed.