DMCA

AAtomicity Refinement for Verified Compilation

by Suresh Jagannathan , Vincent Laporte , Université Rennes Irisa , Gustavo Petri , David Pichardie , Ens Rennes , Irisa Inria
Citations:1 - 0 self