Publications de
Pierre-Loïc Garoche, Folk Howar, Temesghen Kahsai, Xavier Thirioux
Testing-Based Compiler Validation for Synchronous Languages (regular paper)
Dans : International Symposium on NASA Formal Methods (NFM 2014), Houston, Texas, 29/04/14-01/05/14, Vol. 8430, Julia M. Badger, Kristin Yvonne Rozier (Eds.), Springer, Lecture Notes in Computer Science, p. 246-251, mai 2014.
Accès : https://doi.org/10.1007/978-3-319-06200-6_19 – https://oatao.univ-toulouse.fr/22651/
BibTeX