@InProceedings{NM10,
author={U. Ndukwu and A. McIver},
title={An expectation transformer approach to predicate abstraction and data independence for probabilistic programs},
booktitle={Proc. 8th Workshop on Quantitative Aspects of Programming Languages (QAPL'10)},
year={2010},

address={},
month={},
note={},
key={}
}