bibtex

@inproceedings{DLM+08a,
    title = { A Verifiable Conformance Relationship between Smart Card Applets and B Models },
    author = {Dadeau, Fr\'ed\'eric and Lamboley, Julien and Moutet, Thierry and Potet, Marie-Laure},
    month = {sep},
    year = {2008},
    booktitle = {ABZ'2008, International Conference on ASM, B and Z},
    address = {London, UK},
    pages = {237--250},
    publisher = {Springer},
    series = {LNCS},
    volume = {5238},
    team = {DCS,PACSS},
    inhal = {no}, editors = {Borger, E. and Bowen, J. and Butler, M.},
}

URL


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

info visites 4121950