Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực /

Tác giả Hồ, Văn Hương
Xuất bản 2004