Challenges in Correct-by-Construction Multiprocessor Programming
Résumé
no abstract
Communication Dans Un Congrès
Année : 2015
Albert Cohen : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01257233
Soumis le : samedi 16 janvier 2016-02:27:40
Dernière modification le : lundi 9 décembre 2024-15:32:38
Dates et versions
Identifiants
- HAL Id : hal-01257233 , version 1
Citer
Albert Cohen. Challenges in Correct-by-Construction Multiprocessor Programming. EPFL-INRIA Workshop, 2015, Lausanne, Switzerland. ⟨hal-01257233⟩
126
Consultations
0
Téléchargements