%A Anh Hoang Truong
%A Ngoc Khai Nguyen
%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
%D 2015
%I Trường Đại học Sư phạm Hà Nội
%L SisLab1739