%0 Journal Article
%A Truong, Anh Hoang
%A Nguyen, Ngoc Khai
%D 2015
%F SisLab:1739
%I Trường Đại học Sư phạm Hà Nội
%J Tạp chí khoa học
%T Hệ thống kiểu tính cận trên số log cho ngôn ngữ giao dịch đa luồng tối giản
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1739/