Cita APA

Costa, U. S. d., Moreira, A. M., Musicante, M. A., & Souza Neto, P. A. (2009). Specification and Runtime Verification of Java Card Programs.

Citación estilo Chicago

Costa, Umberto Souza da, Anamaria Martins Moreira, Martin A. Musicante, y Plácido A. Souza Neto. Specification and Runtime Verification of Java Card Programs. 2009.

Cita MLA

Costa, Umberto Souza da, Anamaria Martins Moreira, Martin A. Musicante, y Plácido A. Souza Neto. Specification and Runtime Verification of Java Card Programs. 2009.