Citáce podľa APA (7th ed.)

Havelund, K., & Pressburger, T. (2000). Model checking JAVA programs using JAVA PathFinder. International Journal on Software Tools for Technology Transfer, 2(4), 366-381. https://doi.org/10.1007/s100090050043

Citácia podle Chicago (17th ed.)

Havelund, Klaus, a Thomas Pressburger. "Model Checking JAVA Programs Using JAVA PathFinder." International Journal on Software Tools for Technology Transfer 2, no. 4 (2000): 366-381. https://doi.org/10.1007/s100090050043.

Citácia podľa MLA (8th ed.)

Havelund, Klaus, a Thomas Pressburger. "Model Checking JAVA Programs Using JAVA PathFinder." International Journal on Software Tools for Technology Transfer, vol. 2, no. 4, 2000, pp. 366-381, https://doi.org/10.1007/s100090050043.

Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..