Slicing execution with partial weakest precondition for model abstraction of C programs /
में बचाया:
| मुख्य लेखक: | |
|---|---|
| अन्य लेखक: | , |
| स्वरूप: | लेख |
| भाषा: | English |
| विषय: | |
| टैग : |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|