Abstraction, refinement and proof for probabilistic systems
- Author
- McIver, AnnabelleMorgan, Charles C
- Publisher
- Springer New York
- Language
- English
- Year
- 2005
- Page
- 397
- ISBN
- 9780387401157,0-387-40115-6,9781441923127,1441923128
- File Type
- pdf
- File Size
- 1.7 MiB
How to Download?!!!
Just click on START button on Telegram Bot