Publications

Export 1 results:
Sort by: Author [ Title (Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U [V] W X Y Z   [Show ALL]
V
Dias, Ricardo, Dino Distefano, João Costa Seco, and João Lourenço Verification of Snapshot Isolation in Transactional Memory Java Programs. Proceedings of the 26th European conference on Object-oriented programming (ECOOP). Beijing, China: Springer-Verlag ( Germany ), 2012.