bibtex

@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},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4189029