One Approach to Automated Compiler Verification
Vyacheslav A. Bessonov,Lyudmila N. LyadovaYear:
2014
Language:
english
Journal:
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software Engineering
DOI:
10.0000/cyberleninka.ru/article/n/one-approach-to-automated-compiler-verification
File:
PDF, 286 KB
english, 2014