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.
20.02.2017
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.