Search Results - McIver, Annabelle

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Abstraction, refinement, and proof for probabilistic systems / Annabelle McIver, Carroll Morgan.

    Abstraction, refinement, and proof for probabilistic systems / Annabelle McIver, Carroll Morgan. by McIver, Annabelle

    Published 2004
    Book
    Save to List
    Saved in:

Search Tools: