Phương pháp mô hình hóa hình thức

Luận văn thạc sĩ VNU UET nghiên cứu kiểm chứng giao diện phần mềm qua mô hình hóa Event B, mang lại giải pháp hiệu quả cho phát triển phần mềm.