Skip to main navigation Skip to search Skip to main content

A Hoare like logic for verifying probabilistic programs

  • J.I. den Hartog (Speaker)

Activity: Lecture / Presentation › Academic

Period12 Feb 2000
Event titleCoordina Semantics workshop 2000
Event typeWorkshop