Havelund, K., & Visser, W. (2002). Program model checking as a new trend. International Journal on Software Tools for Technology Transfer, 4(1), 8-20. https://doi.org/10.1007/s10009-002-0080-7
Citace podle Chicago (17th ed.)Havelund, Klaus, a Willem Visser. "Program Model Checking as a New Trend." International Journal on Software Tools for Technology Transfer 4, no. 1 (2002): 8-20. https://doi.org/10.1007/s10009-002-0080-7.
Citace podle MLA (9th ed.)Havelund, Klaus, a Willem Visser. "Program Model Checking as a New Trend." International Journal on Software Tools for Technology Transfer, vol. 4, no. 1, 2002, pp. 8-20, https://doi.org/10.1007/s10009-002-0080-7.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..