Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/amast/BreunesseJB02
AU - Breunesse, Cees-Bart
AU - Jacobs, Bart
AU - Berg, Joachim van den
TI - Specifying and Verifying a Decimal Representation in Java for Smart Cards.
BT - Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings
SP - 304
EP - 318
PY - 2002//
DO - 10.1007/3-540-45719-4_21
UR - https://doi.org/10.1007/3-540-45719-4_21
ER -
