[ Back to Record ]

  1. Bib ID# 8445
    ISBN: 9780387270067
    UPC: 10.1007/b138392
    Title: Abstraction, Refinement and Proof for Probabilistic Systems
    Author: McIver, Annabelle.
    Publication Info:
    Item Type: Language material

[ Back to Record ]