Using invariants to optimize formal specifications before code synthesis.

Ralph D. Jeffords, Elizabeth I. Leonard

Browse the full MEMOCODE paper archive.