APA (7th ed.) Citation

Simko, V., Hauzar, D., Hnetynka, P., Bures, T., & Plasil, F. (2015). Formal Verification of Annotated Textual Use-Cases. Computer journal, 58(7), 1495-1529. https://doi.org/10.1093/comjnl/bxu068

Chicago Style (17th ed.) Citation

Simko, Viliam, David Hauzar, Petr Hnetynka, Tomas Bures, and Frantisek Plasil. "Formal Verification of Annotated Textual Use-Cases." Computer Journal 58, no. 7 (2015): 1495-1529. https://doi.org/10.1093/comjnl/bxu068.

MLA (9th ed.) Citation

Simko, Viliam, et al. "Formal Verification of Annotated Textual Use-Cases." Computer Journal, vol. 58, no. 7, 2015, pp. 1495-1529, https://doi.org/10.1093/comjnl/bxu068.