DMCA

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (2005)

by Sebastian Burckhardt , Rajeev Alur , Milo M. K. Martin
Citations:10 - 3 self