Prevenção de Violações de Atomicidade usando ContractosDiogo G. Sousa, Carla Ferreira, João M. LourençoPosted Sep 1, 2013 Cite