Program Specification and Data Refinement in Type Theory (1991)

Cached

Download Links

by Zhaohui Luo
Venue:Mathematical Structures in Computer Science
Citations:28 - 10 self