%S LNCS
%A Anh Hoang Truong
%A Van Hung Dang
%A Duc Hanh Dang
%A Xuan Tung Vu
%T A Type System for Counting Logs of Multi-threaded Nested Transactional Programs
%P 157-168
%V 9581
%D 2016
%I Springer
%L SisLab1953