Online / 6 & 7 February 2021

schedule

Joffrey Huguet

Events

Title Day Room Track Start End
Adding contracts to the GCC GNAT Ada standard libraries
to strengthen analysis provided by formal verification tools
Saturday D.safety Safety and Open Source 11:00 11:30