Practical proofs of concurrent programs
Résumé
no abstract
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 : jeudi 15 février 2024-03:31:57