Annabelle McIver 人物

关系图谱

Annabelle McIver · 相关论文

Abstraction, Refinement and Proof for Probabilistic Systems
2005引用 371
Probabilistic predicate transformers
1996ACM Transactions on Programming Languages and Systems引用 304