A Hoare like logic for verifying probabilistic programs

J.I. den Hartog (Speaker)

Activity: Lecture / PresentationAcademic

Period12 Feb 2000
Held atCoordina Semantics workshop 2000
Event typeWorkshop