Authors: Garbett, P Parkes, JP Shackleton, M Anderson, S

Citation: P. Garbett et al., A case study in innovative process improvement: code synthesis from formalspecifications, MICROPR MIC, 23(7), 1999, pp. 417-424