Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting.

Autor:	Mai Thuong Tran, Thi, Steffen, Martin, Truong, Hoang
Zdroj:	Software Engineering & Formal Methods (9783642405600); 2013, p212-228, 17p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu