Practical proofs of concurrent programs
Résumé
no abstract
Communication Dans Un Congrès
Année : 2006
Alain Monteil : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01248205
Soumis le : jeudi 24 décembre 2015-09:43:10
Dernière modification le : vendredi 28 février 2025-03:19:00
Citer
Marc Shapiro. Practical proofs of concurrent programs. Int. Conf. on Functional Programming (ICFP), Sep 2006, Portland, Oregon, United States. pp.123--123, ⟨10.1145/1159803.1159819⟩. ⟨hal-01248205⟩
Collections
89
Consultations
0
Téléchargements