Fast prototyping from assertions: A pragmatic approach.

Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione

Browse the full MEMOCODE paper archive.