@inproceedings{NP09a,
title = {"Certfication of Smart-Card Applications in Common Criteria: Proving Representation Correspondences" },
author = {Narasamdya, Iman and P'erin, Micha\"el},
year = {2009},
booktitle = {Fundamental Approaches to Software Engineering},
note = {(FASE'09)},
pages = {309--324},
publisher = {Springer-Verlag},
series = {LNCS},
volume = {5503},
team = {DCS,PACSS},
}