Tobias Isenberg, Marco Platzner, Heike Wehrheim and Tobias Wiersema got their journal paper „Proof-Carrying Hardware via Inductive Invariants“ accepted for presentation in ACM Transactions on Design Automation of Electronic Systems.
Tobias Isenberg, Marco Platzner, Heike Wehrheim and Tobias Wiersema got their journal paper „Proof-Carrying Hardware via Inductive Invariants“ accepted for presentation in ACM Transactions on Design Automation of Electronic Systems.