@BOOK{ Book!D - 103425259,
AUTHOR = "/ Annabelle McIver, Carroll Morgan",
TITLE = "Abstraction, refinement and proof for probabilistic systems",
LIBRARY= "كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران",
SUBJECT = "Engineering mathematics.,Probabilities.,Systems engineering.",
URL = "/book/103425259/Abstraction-refinement-and-proof-for-probabilisti/"}