Integrating Software and Hardware Verification.

Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema

Browse the full IFM paper archive.