Specification Refinement with System F (1999)

Cached

Download Links

by Jo Erskine Hannay
Venue:In Proc. CSL'99, volume 1683 of LNCS
Citations:6 - 3 self