TY  - CONF
ID  - SisLab2712
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2712/
A1  - Nguyen, Ngoc Khai
A1  - Truong, Anh Hoang
Y1  - 2017///
TI  - A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs
AV  - none
M2  - Nha Trang
T2  - SoICT 2017: 8th International Symposium on Information and Communications
ER  -