APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Kirszenberg, Alexandre, Antoine Martin, Hugo Moreau, and 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.

MLA (9th ed.) Citation

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.