Vérification par interprétation abstraite en mémoire faiblement cohérente. (Verification by abstract interpretation under weakly consistent memory) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Thibault Suzanne. Vérification par interprétation abstraite en mémoire faiblement cohérente. (Verification by abstract interpretation under weakly consistent memory). PhD thesis, PSL Research University, Paris, France, 2019. [doi]

Abstract is missing.

runs on WebDSL