Citace podle APA (7th ed.)

Ratiu, D., & Ulrich, A. (2019). An integrated environment for Spin-based C code checking: Towards bringing model-driven code checking closer to practitioners. International journal on software tools for technology transfer, 21(3), 267-286. https://doi.org/10.1007/s10009-019-00510-w

Citace podle Chicago (17th ed.)

Ratiu, Daniel, a Andreas Ulrich. "An Integrated Environment for Spin-based C Code Checking: Towards Bringing Model-driven Code Checking Closer to Practitioners." International Journal on Software Tools for Technology Transfer 21, no. 3 (2019): 267-286. https://doi.org/10.1007/s10009-019-00510-w.

Citace podle MLA (9th ed.)

Ratiu, Daniel, a Andreas Ulrich. "An Integrated Environment for Spin-based C Code Checking: Towards Bringing Model-driven Code Checking Closer to Practitioners." International Journal on Software Tools for Technology Transfer, vol. 21, no. 3, 2019, pp. 267-286, https://doi.org/10.1007/s10009-019-00510-w.

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