lý thuyết và ứng dụng SMT

Luận văn thạc sĩ nghiên cứu vnu uet kiểm chứng chương trình dựa trên smt, 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 tiễn.