@article{DPP+8,
title = { Formally and practically verifying flow properties in industrial systems },
author = {Dreier, Jannik and Puys, Maxime and Potet, Marie-Laure and Lafourcade, Pascal and Roch, Jean-Louis},
year = {2018},
journal = {Computers \& Security},
team = {PACSS, axe_Pacs, DCS},
}