Citace podle APA (7th ed.)

Spanfelner, B., Leuxner, C., & Sitou, W. (2009, May 17). Formal specification of system functions. 2009 ICSE Workshop on Modeling in Software Engineering, 26-31. https://doi.org/10.1109/MISE.2009.5069893

Citace podle Chicago (17th ed.)

Spanfelner, Bernd, Christian Leuxner, a Wassiou Sitou. "Formal Specification of System Functions." 2009 ICSE Workshop on Modeling in Software Engineering 17 May. 2009: 26-31. https://doi.org/10.1109/MISE.2009.5069893.

Citace podle MLA (9th ed.)

Spanfelner, Bernd, et al. "Formal Specification of System Functions." 2009 ICSE Workshop on Modeling in Software Engineering, 17 May. 2009, pp. 26-31, https://doi.org/10.1109/MISE.2009.5069893.

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