Verifying probabilistic programs using a Hoare-like logic

Research output: Contribution to journalArticleAcademicpeer-review

31 Citations (Scopus)
Original languageEnglish
Pages (from-to)315-340
JournalInternational Journal of Foundations of Computer Science
Volume13
Issue number3
DOIs
Publication statusPublished - 2002

Cite this