on January 25, 2018
ENTROPY 2018 is an international workshop organised by the team 2XS of CRIStAL about formal verification of kernels of operating systems. It consists of twelve invited presentations by eminent international researchers in the field.
More...Ircica, Villeneuve d'Ascq
français
English