@inproceedings{SisLab2712,
       booktitle = {SoICT 2017: 8th International Symposium on Information and Communications},
           title = {A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs},
          author = {Ngoc Khai Nguyen and Anh Hoang Truong},
            year = {2017},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2712/}
}