Specifying and Verifying Concurrent C Programs with TLA+
Résumé
Specifying and Verifying Concurrent C Programs with TLA+
Specifying and Verifying Concurrent C Programs with TLA+
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01126566
Soumis le : vendredi 6 mars 2015-12:01:40
Dernière modification le : mercredi 9 juillet 2025-15:06:18