Integrating design and verification - from simple idea to practical system.

C. Seger

Browse the full MEMOCODE paper archive.