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

Cached

Download Links

by Shen-Wei Yu
Citations:3 - 0 self