Verification of Transactions in STM Haskell using Contracts and Program Transformation

Résultats de recherche: Contribution à un événement scientifique (non publié) › Résumé › Revue par des pairs

Projets