Formal Verification of Concurrent Programs Based on Type Theory (1998)

Cached

Download Links

by Shen-Wei Yu
Citations:3 - 0 self

Document Versions

Formal Verification of Concurrent Programs Based on Type Theory –Shen-Wei Yu — 1998