Thực nghiệm và ứng dụng trong lập trình

Luận văn thạc sĩ HUS nghiên cứu kỹ thuật giải thích trừu tượng 10, khám phá các phương pháp và ứng dụng trong lĩnh vực nghiên cứu.