Hardware and Software Synthesis, Optimization, and Verification from Esterel Programs.

Grard Berry

Browse the full TACAS paper archive.