Feitosa, S., Ribeiro, R. G., & Bois, A. R. D. (2021). Towards an Extrinsic Formalization of Featherweight Java in Agda. Centro Latinoamericano de Estudios en Informática.
Citace podle Chicago (17th ed.)Feitosa, Samuel, Rodrigo Geraldo Ribeiro, a Andre Rauber Du Bois. Towards an Extrinsic Formalization of Featherweight Java in Agda. Centro Latinoamericano de Estudios en Informática, 2021.
Citace podle MLA (9th ed.)Feitosa, Samuel, et al. Towards an Extrinsic Formalization of Featherweight Java in Agda. Centro Latinoamericano de Estudios en Informática, 2021.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..