%0 Conference Paper
%A Nguyen, Ngoc Khai
%A Truong, Anh Hoang
%B SoICT 2017: 8th International Symposium on Information and Communications
%C Nha Trang
%D 2017
%F SisLab:2712
%T A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2712/