New paper accepted at HVC 2012

September 12, 2012

The paper "Precise Detection of Atomicity Violations", co-authored by Vasco Pessanha, Ricardo Dias, and João Lourenço, was accepted at the Haifa Verification Conference (HVC 2012).