ISO-690 (author-date, English)

CASSET, L., BURDY, L. und REQUET, A., 2002. Formal development of an embedded verifier for Java Card byte code. In: . 1 Januar 2002.

Elsevier - Harvard (with titles)

Casset, L., Burdy, L., Requet, A., 2002. Formal development of an embedded verifier for Java Card byte code, in: . https://doi.org/10.1109/DSN.2002.1028886

American Psychological Association 7th edition

Casset, L., Burdy, L., & Requet, A. (2002, Januar 1). Formal development of an embedded verifier for Java Card byte code. https://doi.org/10.1109/DSN.2002.1028886

Springer - Basic (author-date)

Casset L, Burdy L, Requet A (2002) Formal development of an embedded verifier for Java Card byte code

Juristische Zitierweise (Stüber) (Deutsch)

Casset, L./ Burdy, L./ Requet, A., Formal development of an embedded verifier for Java Card byte code, 2002, .

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.