Reasoning about probabilistic sequential programs

TitleReasoning about probabilistic sequential programs
Publication TypeJournal Article
Year of Publication2007
AuthorsChadha, R., L. Cruz-Filipe, P. Mateus, and A. Sernadas
JournalTheoretical Computer Science
Volume379
Pagination142–165