Abstraction, refinement and proof for probabilistic systems
2004 • 398 pages
Written by Annabelle McIver, Charles C. Morgan
0
0
No description yet for this book.
Shelf progress
Abstraction, refinement and proof for probabilistic systems
Annabelle McIver, Charles C. Morgan
0%0 / 398 sf
—
Top Reviews
0No visible reviews yet for this book.
Your Rating