Rechercher dans
Nos Events & Actus
Toward a verified compilation infrastructure for concurrent programs : non-sequential paradigms in Vellvm
Toward a verified compilation infrastructure for concurrent programs : non-sequential paradigms in Vellvm
Université Ibn Khaldoun
Date de soutenance: 29-07-2015
