|
[NM10]
U. Ndukwu and A. McIver.
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs.
In Proc. 8th Workshop on Quantitative Aspects of Programming Languages (QAPL'10).
2010.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|