Securing energy metering software with automatic source code correction.

Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia

Browse the full INDIN paper archive.