phương pháp kiểm chứng hình thức phần mềm

Luận văn thạc sĩ nghiên cứu vnu uet nghiên cứu phương pháp kiểm chứng mô hình phần mềm dựa trên sat, khảo sát thực trạng, phân tích nguyên nhân, đề xuất giải pháp cải thiện thực