Showing 1 - 1 results of 1 for search 'McIver, Annabelle' Refine Results
  1. 1
    Abstraction, refinement, and proof for probabilistic systems / Annabelle McIver, Carroll Morgan.
    by McIver, Annabelle
    Published 2004
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search