• VePub Press
  • Conferences
  • Design, Automation, and Test in Europe, Topic E2: Compilers and Software Synthesis