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