Tài liệu về Formal Verification and Program Correctness

Luận văn thạc sĩ phân tích vnu technologies des programmes accompagnés de preuves, đánh giá thực trạng, chỉ ra hạn chế, đề xuất giải pháp khả thi cho thực tiễn.