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

URL

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.1.11 + AHUNTSIC [CC License]

info visites 1315919