Cita APA (7a ed.)

Cok, D. R. (2021). Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery.

Cita Chicago Style (17a ed.)

Cok, David R. Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. New York, New York: Association for Computing Machinery, 2021.

Cita MLA (9a ed.)

Cok, David R. Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. Association for Computing Machinery, 2021.