Testing-Based Compiler Validation for Synchronous Languages

Pierre-Loic Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux
January 2014
Cite DOI
Type
Conference paper
Publication
NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
"own"
Xavier Thirioux
Xavier Thirioux
Professor at ISAE-Supaero

Related