ICCC 2020 – Formal models for high assurance: why and how?

16 November 2020

Carolina Lavatelli is presenting “Formal models for high assurance: why and how” by C. Lavatelli (Internet of Trust) and Guillaume Tétu (ANSSI), ICCC 2020, November 16-18 2020.