APA

Cok D. R., ACM Special Interest Group on Programming Languages, . (2021). Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. New York,NY,United States: Association for Computing Machinery.

Chicago

Cok David R, ACM Special Interest Group on Programming Languages, . 2021. Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. New York,NY,United States: Association for Computing Machinery.

Harvard

Cok D. R., ACM Special Interest Group on Programming Languages, . (2021). Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. New York,NY,United States: Association for Computing Machinery.

MLA

Cok David R, ACM Special Interest Group on Programming Languages, . Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs. New York,NY,United States: Association for Computing Machinery. 2021.