@InProceedings{Gro:2018,
  author =  {Daniel Gro{\ss}e (organizer)},
  title = {Firmware Firmly under Control: New Optimization and Verification Techniques for Application Specific Electronic Systems, {Speaker: Daniel Gro{\ss}e, Manuel Strobel, Daniel M\"uller-Gritschneder, Vladimir Herdt, Tobias Ludwig}},
  booktitle = {Tutorial at DVCon Europe},
  year =  {2018}
}