کتاب های Annabelle Mciver
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, 2004
Programming Methodology
Annabelle McIver, 2003
Abstraction, refinement and proof for probabilistic systems
McIver, Annabelle; Morgan, Charles C, 2005
