From relational verification to SIMD loop synthesis
- Gilles Barthe
- , Juan Manuel Crespo
- , César Kunz
- , Sumit Gulwani
- , Mark Marron
Producción científica: Conference contribution › revisión exhaustiva
39
Citas
(Scopus)