×
  • Abstraction, refinement and proof for probabilistic systems

    McIver, Annabelle Morgan, Charles C

Click on cover to enlarge.
Buy This Book
From Amazon.
9 - 10Hours to read