Assertion-Based Design with Horus.

Yann Oddos, Katell Morin-Allory, Dominique Borrione

Browse the full MEMOCODE paper archive.