Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
- Author
- Benjamin Weiß
- Publisher
- KIT Scientific Publishing
- Language
- English
- Year
- 2011
- Page
- 269
- ISBN
- 3866446233,9783866446236
- File Type
- pdf
- File Size
- 13.0 MiB
How to Download?!!!
Just click on START button on Telegram Bot