Cita APA (7a ed.)

Bucev, M., Chassot, S., Felix, S., Schramka, F., & Kunčak, V. (2024). Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study.

Cita Chicago Style (17a ed.)

Bucev, Mario, Samuel Chassot, Simon Felix, Filip Schramka, y Viktor Kunčak. Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study. 2024.

Cita MLA (9a ed.)

Bucev, Mario, et al. Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study. 2024.