Abstraction-aware Verifying Compiler for Yet Another MDD

• Autores: Peiluan Li, Naoyasu Ubayashi, Di Ai, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei
• Localización: ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering / coord. por Ivica Crnkovic, 2014, ISBN 978-1-4503-3013-, págs. 557-562
• Idioma: inglés
• Texto completo no disponible (Saber más ...)