APA (7th ed.) Citation

Mirkowska, G., Salwicki, A., & Świda, O. (2008). Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper. Fundamenta Informaticae, 85(1-4), 1. https://doi.org/10.3233/fun-2008-851-402

Chicago Style (17th ed.) Citation

Mirkowska, Grażzyna, Andrzej Salwicki, and Oskar Świda. "Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper." Fundamenta Informaticae 85, no. 1-4 (2008): 1. https://doi.org/10.3233/fun-2008-851-402.

MLA (9th ed.) Citation

Mirkowska, Grażzyna, et al. "Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper." Fundamenta Informaticae, vol. 85, no. 1-4, 2008, p. 1, https://doi.org/10.3233/fun-2008-851-402.