Marie-Christine Jakobs, Marco Platzner, Tobias Wiersema, and Heike Wehrheim got their conference paper "Integrating Software and Hardware Verification“ accepted at the International Conference on Integrated Formal Methods (iFM 2014). Prof. Dr. Wehrheim will present the results in September in Italy.
