Survey on verified reconfiguration

Hélène Coullon is working with Frédéric Loulergue and Ludovic Henrio on a survey about verified software reconfiguration.


See also