Automated creation of verification model for C-programs

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering 2008 Iss. 2

Automated creation of verification model for C-programs

Yury Yusupov,Vsevolod Kotlyarov
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2008
Language:
english
Journal:
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software Engineering
DOI:
10.0000/cyberleninka.ru/article/n/automated-creation-of-verification-model-for-c-programs
File:
PDF, 52 KB
english, 2008
Conversion to is in progress
Conversion to is failed