Verimag

bibtex

@inproceedings{CDE+10b,
    title = {Automated Proofs for Asymmetric Encryption },
    author = {Courant, Judica\"el and Daubignard, Marion and Ene, Cristian and Lafourcade, Pascal and Lakhnech, Yassine},
    year = {2010},
    booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever},
    pages = {300-321},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {5930},
    team = {DCS,PACSS},
}

Publication Sections


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

info visites 912774