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

View PDF

Download Links

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