Program Semantics, Specification and Verification: Theory and Applications
- Author
- Nepomnyaschy Valery , Sokolov Valery , 8th International Computer Science Symposium in Russia
- Language
- Russian
- Page
- 87
- File Type
- pdf
- File Size
- 2.8 MiB
How to Download?!!!
Just click on START button on Telegram Bot