Abstraction, Refinement and Proof for Probabilistic Systems

MLA

McIver, Annabelle, et al. Abstraction, Refinement and Proof for Probabilistic Systems. Springer New York, 2005.

APA

McIver, A., Morgan, C., Morgan, C., Morgan, C. C, & Morgan, C. Carroll. (2005). Abstraction, Refinement and Proof for Probabilistic Systems. Springer New York.

Chicago

McIver, Annabelle, Caroll Morgan, Carroll Morgan, Charles C Morgan, and Charles Carroll Morgan. Abstraction, Refinement and Proof for Probabilistic Systems. : Springer New York, 2005.