APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Spanfelner, Bernd, Christian Leuxner, and 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.

MLA (9th ed.) Citation

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.