Exploiting abstraction for specification reuse. The Java/C♯ case study (2004)

Cached

Download Links

by Egon Börger , Robert F. Stärk
Venue:PROC. FMCO’03, LNCS
Citations:5 - 3 self