Probabilistic predicate transformers

• 期刊名称ACM Transactions on Programming Languages and Systems
• 作者Morgan, Carroll; McIver, Annabelle; Seidel, Karen
• 卷第18卷
• 期第3期
• 印刷ISSN0164-0925
• 文件大小294.75KB
• 发表时间1996-5-1
• DOI10.1145/229542.229547
• 页码325-353