Formal Verification of Concurrent Programs Based on Type Theory (1998)
by
Shen-Wei Yu
| Citations: | 3 - 0 self |
Document Versions
| Formal Verification of Concurrent Programs Based on Type Theory –Shen-Wei Yu — 1998 |
