Citace podle APA (7th ed.)

Kirszenberg, A., Martin, A., Moreau, H., & Renault, E. (2023). Go2Pins: A framework for the LTL verification of Go programs (extended version). International journal on software tools for technology transfer, 25(1), 77-94. https://doi.org/10.1007/s10009-022-00692-w

Citace podle Chicago (17th ed.)

Kirszenberg, Alexandre, Antoine Martin, Hugo Moreau, a Etienne Renault. "Go2Pins: A Framework for the LTL Verification of Go Programs (extended Version)." International Journal on Software Tools for Technology Transfer 25, no. 1 (2023): 77-94. https://doi.org/10.1007/s10009-022-00692-w.

Citace podle MLA (9th ed.)

Kirszenberg, Alexandre, et al. "Go2Pins: A Framework for the LTL Verification of Go Programs (extended Version)." International Journal on Software Tools for Technology Transfer, vol. 25, no. 1, 2023, pp. 77-94, https://doi.org/10.1007/s10009-022-00692-w.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..