Formal Logical Methods for System Security and Correctness
- Author
- Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller
- Publisher
- IOS Press
- Language
- English
- Year
- 2008
- Page
- 332
- ISBN
- 1586038435,9781586038434,9781435677883
- File Type
- pdf
- File Size
- 1.7 MiB
How to Download?!!!
Just click on START button on Telegram Bot