Đang hiển thị 1 - 1 kết quả của 1 cho tìm kiếm '"Model abstraction"', זמן שאילתה: 0.85s Tinh chỉnh kết quả
1
Slicing execution with partial weakest precondition for model abstraction of C programs /
מאת Yang, Xuejun.
נושאים: “...Model abstraction...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
הוספה למועדפים
שמור ב:
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל — שמירת חיפוש